Linear types can change the world (1990)

by P Wadler
Venue:In Working Conference on Programming Concepts and Methods