A type system for context-dependent overloading.

dc.contributor.authorFigueiredo, Lucília Camarão de
dc.contributor.authorFigueiredo, Carlos Camarão de
dc.date.accessioned2015-01-26T11:31:43Z
dc.date.available2015-01-26T11:31:43Z
dc.date.issued1998
dc.description.abstractThis 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.citationFIGUEIREDO, 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.doihttps://doi.org/10.1016/S1571-0661(05)80229-4
dc.identifier.issn1571-0661
dc.identifier.urihttp://www.repositorio.ufop.br/handle/123456789/4379
dc.language.isoen_USpt_BR
dc.rights.licenseThis 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.titleA type system for context-dependent overloading.pt_BR
dc.typeArtigo publicado em periodicopt_BR
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
ARTIGO_TypeSystemContext.pdf
Tamanho:
615.52 KB
Formato:
Adobe Portable Document Format
Licença do Pacote
Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponível
Nome:
license.txt
Tamanho:
2.57 KB
Formato:
Item-specific license agreed upon to submission
Descrição: