Wobbly types: type inference for generalised algebraic data types. Microsoft Research (2004)

by Simon Peyton Jones, Geoffrey Washburn, Stephanie Weirich