Type inference with recursive types. Syntax and Semantics (1991)

by F Cardone, M Coppo
Venue:Information and Computation