A constraint-based approach to guarded algebraic data types (2007)

by Vincent Simonet , François Pottier
Venue:ACM Trans. Prog. Languages Systems
Citations:24 - 0 self