Typeful Programming. SRC report 83, Digital Equipment Corporation (1984)

by L Cardelli
Venue:Semantics of Data Types