Constraint-Based Type Inference for Guarded Algebraic Data Types (2003)

by Vincent Simonet , François Pottier
Citations:25 - 3 self