New Results on Type Systems for Functional Logic Programming



Downloads per month over past year

López-Fraguas, Francisco and Martín-Martín, Enrique and Rodríguez-Hortalá, Juan (2010) New Results on Type Systems for Functional Logic Programming. In Functional and Constraint Logic Programming. Lecture Notes in Computer Science (5979). Springer, Berlin, pp. 128-144. ISBN 978-3-642-11998-9

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


Official URL:


Type systems are widely used in programming languages as a powerful tool providing safety to programs, and forcing the programmers to write code in a clearer way. Functional logic languages have inherited Damas & Milner type system from their functional part due to its simplicity and popularity. In this paper we address a couple of aspects that can be subject of improvement. One is related to a problematic feature of functional logic languages not taken under consideration by standard systems: it is known that the use of opaque HO patterns in left-hand sides of program rules may produce undesirable effects from the point of view of types. We re-examine the problem, and propose a Damas & Milner-like type system where certain uses of HO patterns (even opaque) are permitted while preserving type safety, as proved by a subject reduction result that uses HO-let-rewriting, a recently proposed reduction mechanism for HO functional logic programs. The other aspect is the different ways in which polymorphism of local definitions can be handled. At the same time that we formalize the type system, we have made the effort of technically clarifying the overall process of type inference in a whole program.

Item Type:Book Section
Additional Information:

18th International Workshop on Functional and Constraint Logic Programming WFLP 2009. Brasilia, Brazil, June 28, 2009.

Subjects:Sciences > Mathematics > Cybernetics
ID Code:17917
Deposited On:24 Jan 2013 11:39
Last Modified:29 Jun 2018 11:05

Origin of downloads

Repository Staff Only: item control page