Typeful programming. Lecture Notes for the IFIP Advanced Seminar on Formal Methods (1989)

by L Cardelli
Venue:in Programming Language Semantics, Rio de Janeiro