Use este identificador para citar ou linkar para este item:
http://www.repositorio.ufop.br/jspui/handle/123456789/4379
Título: | A type system for context-dependent overloading. |
Autor(es): | Figueiredo, Lucília Camarão de Figueiredo, Carlos Camarão de |
Data do documento: | 1998 |
Referência: | 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. |
Resumo: | 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. |
URI: | http://www.repositorio.ufop.br/handle/123456789/4379 |
DOI: | https://doi.org/10.1016/S1571-0661(05)80229-4 |
ISSN: | 1571-0661 |
Licença: | 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. |
Aparece nas coleções: | DECOM - Artigos publicados em periódicos |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ARTIGO_TypeSystemContext.pdf | 615,52 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.