Please use this identifier to cite or link to this item:
Title: A type system for context-dependent overloading.
Authors: Figueiredo, Lucília Camarão de
Figueiredo, Carlos Camarão de
Issue Date: 1998
Citation: FIGUEIREDO, L. C. de; FIGUEIREDO, C. C. de. A type system for context-dependent overloading. Electronic Notes in Theoretical Computer Science, New Orleans, v. 14, p. 52-61, 1998. Disponível em: <>. Acesso em: 23 jan. 2015.
Abstract: This article presents a type system for context-dependent overloading, based on the notion of constrained types. These are types constrained by the definition of functions or constants of given types. This notion supports both overloading and a form of subtyping, and is related to Haskell type classes [11,2], System O [7] and other systems with constrained types. We study an extension of the Damas-Milner system [4,1] with constrained types. The inference system presented uses a context-dependent overloading policy, which is specified by means of a predicate used in a single inference rule. The idea simplifies the treatment of overloading, enables the simplification of inferred types (by means of class type annotations), and is adequate for use in a type system with higher-order types.
ISSN: 1571-0661
metadata.dc.rights.license: This article is published under the terms of the Creative Commons Attribution-NonCommercial-No Derivatives License (CC BY NC ND). For non-commercial purposes you may distribute and copy the article and include it in a collective work (such as an anthology), provided you do not alter or modify the article, without permission from Elsevier. The original work must always be appropriately credited. Fonte: Elsevier <>. Acesso em: 23 jan. 2015.
Appears in Collections:DECOM - Artigos publicados em periódicos

Files in This Item:
File Description SizeFormat 
ARTIGO_TypeSystemContext.pdf615,52 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.