Typeful programming. Report 45 (1989)

by Luca Cardelli
Venue:DEC Systems Research