The Type-Checking of Programs with Implicit Type Structure (1984)

by N J McCracken
Venue:Semantics of Data Types