The typechecking of programs with implicit type structure (1984)

by N McCracken
Venue:Semantics of Data Types, International Symposium, Sophia-Antipolis