types can change the world (1990)

by Linear
Venue:IFIP TC 2 Working Conference on Programming Concepts and Methods, pages 561{581, Sea of Gallilee