View in EDS

A Constraint-Based Approach to Guarded Algebraic Data Types.

Saved in:

Bibliographic Details
Title:	A Constraint-Based Approach to Guarded Algebraic Data Types.
Authors:	Simonet, Vincent, Pottier, François
Source:	ACM Transactions on Programming Languages & Systems; January 2007, Vol. 29 Issue 1, p1-56, 56p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/1180475.1180476