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

Full description

Saved in:

Bibliographic Details
Published in:	Information and computation Vol. 235; pp. 36 - 69
Main Authors:	López-Fraguas, Francisco J., Martin-Martin, Enrique, Rodríguez-Hortalá, Juan
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.04.2014
Subjects:	Functional-logic programming Let bindings Opaque patterns Type systems Functional-logic programming Type systems Opaque patterns Let bindings
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!