Type Inference with Recursive Types: Syntax and Semantics (1991)

by F Cardone, M Coppo
Venue:In Information and Computation