Figueiredo, Carlos Camarão deFigueiredo, Lucília Camarão de2015-01-262015-01-261998FIGUEIREDO, 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.1571-0661http://www.repositorio.ufop.br/handle/123456789/4377This 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.en-USArtigo publicado em periodicoThis 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.https://doi.org/10.1016/S1571-0661(05)80228-2