Typeful Programming. Formal Descriptions of Programming Concepts, E.J.Neuhold, M.Paul Eds., Springer-Verlag (1991)

by L Cardelli
Venue:SRC Research Report