A type system for context-dependent overloading.
dc.contributor.author | Figueiredo, Lucília Camarão de | |
dc.contributor.author | Figueiredo, Carlos Camarão de | |
dc.date.accessioned | 2015-01-26T11:31:43Z | |
dc.date.available | 2015-01-26T11:31:43Z | |
dc.date.issued | 1998 | |
dc.description.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. | pt_BR |
dc.identifier.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: <http://www.sciencedirect.com/science/article/pii/S1571066105802294#>. Acesso em: 23 jan. 2015. | pt_BR |
dc.identifier.doi | https://doi.org/10.1016/S1571-0661(05)80229-4 | |
dc.identifier.issn | 1571-0661 | |
dc.identifier.uri | http://www.repositorio.ufop.br/handle/123456789/4379 | |
dc.language.iso | en_US | pt_BR |
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 <http://www.copyright.com/rlQuickPrice.do?operation=refreshPrice#formTop>. Acesso em: 23 jan. 2015. | pt_BR |
dc.title | A type system for context-dependent overloading. | pt_BR |
dc.type | Artigo publicado em periodico | pt_BR |