Wobbly Types: Type Inference for Generalised Algebraic Data Types (2004)

by Simon Peyton Jones , Geoffrey Washburn , Stephanie Weirich
Citations:48 - 2 self