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

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