A type system for context-dependent overloading.

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorFigueiredo, Lucília Camarão de-
Autor(es): dc.creatorFigueiredo, Carlos Camarão de-
Data de aceite: dc.date.accessioned2025-08-21T15:06:56Z-
Data de disponibilização: dc.date.available2025-08-21T15:06:56Z-
Data de envio: dc.date.issued2015-01-26-
Data de envio: dc.date.issued2015-01-26-
Data de envio: dc.date.issued1998-
Fonte completa do material: dc.identifierhttp://www.repositorio.ufop.br/handle/123456789/4379-
Fonte completa do material: dc.identifierhttps://doi.org/10.1016/S1571-0661(05)80229-4-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/1002711-
Descrição: dc.descriptionThis 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.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languageen-
Direitos: dc.rightsThis 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.-
Título: dc.titleA type system for context-dependent overloading.-
Aparece nas coleções:Repositório Institucional - UFOP

Não existem arquivos associados a este item.