Luca Cardelli. Typeful Programming. In Erich J. Neuhold, Manfred Paul 0001, editors, Formal Description of Programming Concepts, based on a seminar organized by IFIP Working Group 2.2 and held near Rio de Janeiro in April 1989. IFIP State-of-the-Art Reports, pages 431, Springer, 1989. [doi]
Abstract is missing.