Typeful programming. Research Report 45 (1989)

by Luca Cardelli
Venue:Digital Equipment Corporation, Systems Research