Safe typing of functional logic programs with opaque patterns and local bindings

Type systems are widely used in programming languages as a powerful tool providing safety to programs. 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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Information and computation Jg. 235; S. 36 - 69
Hauptverfasser:	López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.04.2014
Schlagworte:	Functional-logic programming Let bindings Opaque patterns Type systems Functional-logic programming Type systems Opaque patterns Let bindings
ISSN:	0890-5401, 1090-2651
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!