Typeful programming. In Formal Description of Programming Concepts (1991)

by Luca Cardelli