Typeful programming (1991)

by L Cardelli
Venue:In Formal Description of Programming Concepts, E.J. Neuhold and