Towards higher-order types.

dc.contributor.authorFigueiredo, Carlos Camarão de
dc.contributor.authorFigueiredo, Lucília Camarão de
dc.date.accessioned2015-01-26T11:29:06Z
dc.date.available2015-01-26T11:29:06Z
dc.date.issued1998
dc.description.abstractThis article explores the use of types constrained by the definition of functions of given types. This notion supports both overloading and a form of subtyping, and is related to Haskell type classes and System O. We study an extension of the Damas-Milner system, in which overloaded functions can be defined. The inference system presented uses a context-independent overloading policy, specified by means of a predicate used in a single inference rule. The treatment of overloading is less restrictive than in similar systems. Type annotations are not required, but can be used to simplify inferred types. The work motivates the use of constrained types as parameters of other, higher-order types.
dc.identifier.citationFIGUEIREDO, C. C. de; FIGUEIREDO, L. C. de. Towards higher-order types. Electronic Notes in Theoretical Computer Science, New Orleans, v. 14, p. 38-51, 1998. Disponível em: <http://www.sciencedirect.com/science/article/pii/S1571066105802282>. Acesso em: 22 jan. 2015.pt_BR
dc.identifier.doihttps://doi.org/10.1016/S1571-0661(05)80228-2
dc.identifier.issn1571-0661
dc.identifier.urihttp://www.repositorio.ufop.br/handle/123456789/4377
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: 13 jan. 2015.pt_BR
dc.titleTowards higher-order types.pt_BR
dc.typeArtigo publicado em periodicopt_BR
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
ARTIGO_TowardsHigherOrder.pdf
Tamanho:
756.13 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: