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
Be the first to leave a comment!
You must be logged in first