Linear types can change the world! Draft paper (1989)

by P Wadler