Universidad Complutense de Madrid
E-Prints Complutense

Liberal Typing for Functional Logic Programs



Último año

López Fraguas, Francisco y Martin Martin, Enrique y Rodríguez Hortalá, Juan (2010) Liberal Typing for Functional Logic Programs. Lecture Notes in Computer Science (6461). pp. 80-96. ISSN 0302-9743

Ésta es la última versión de este artículo.

Vista previa
[img] PDF
Restringido a Sólo personal autorizado del repositorio


URL Oficial: http://www.springerlink.com/content/u5q8016158402754/fulltext.pdf

URLTipo de URL


We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we propose a new notion of well-typed program that adds support for type-indexed functions, existential types, opaque higher-order patterns and generic functions-as shown by an extensive collection of examples that illustrate the possibilities of our proposal. In the negative side, the types of functions must be declared, and therefore types are checked but not inferred. Another consequence is that parametricity is lost, although the impact of this flaw is limited as "free theorems" were already compromised in functional logic programming because of non-determinism.

Tipo de documento:Artículo
Palabras clave:Type systems; functional logic programming; generic functions;type-indexed functions; existential types; higher-order patterns.
Materias:Ciencias > Informática > Lenguajes de programación
Código ID:35957
Depositado:02 Mar 2016 10:02
Última Modificación:03 Mar 2016 12:34

Versiones disponibles de este artículo

Descargas en el último año

Sólo personal del repositorio: página de control del artículo