A constraint-based approach to guarded algebraic data types
Simonet, Vincent, Pottier, FrançoisVolume:
29
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/1180475.1180476
Date:
January, 2007
File:
PDF, 600 KB
english, 2007