Typing constraint logic programs

We present a prescriptive type system with parametric polymorphism and subtyping for constraint logic programs. The aim of this type system is to detect programming errors statically. It introduces a type discipline for constraint logic programs and modules, while maintaining the capabilities of per...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 1; no. 6; pp. 751 - 777
Main Authors:	FAGES, FRANÇOIS, COQUERY, EMMANUEL
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.11.2001
Subjects:	Metaprogramming Prolog Constraint logic programming type systems subtyping
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!