Liberal Typing for Functional Logic Programs



Downloads per month over past year

López Fraguas, Francisco and Martin Martin, Enrique and Rodríguez Hortalá, Juan (2010) Liberal Typing for Functional Logic Programs. In Programming Languages and Systems. Lecture Notes in Computer Science (6461). Springer, Berlin, pp. 80-96. ISBN 978-3-642-17163-5

There is a more recent version of this item available.

[thumbnail of RodHotala03.pdf] PDF
Restringido a Repository staff only

[thumbnail of Post-print, revisado por la editorial]
PDF (Post-print, revisado por la editorial)

Official 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.

Item Type:Book Section
Uncontrolled Keywords:Type systems; functional logic programming; generic functions;type-indexed functions; existential types; higher-order patterns.
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
ID Code:17962
Deposited On:25 Jan 2013 10:06
Last Modified:02 Mar 2016 10:03

Available Versions of this Item

Origin of downloads

Repository Staff Only: item control page