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

by Felice Cardone, Mario Coppo
Venue:Inf. & Comput