Type inference with recursive types: Syntax and semantics (1991)

by F Cardone, M Coppo
Venue:Information and Computation