Linear Types Can Change the World! (1990)

by Philip Wadler
Venue:Programming Concepts and Methods
Citations:134 - 9 self