Linear Types Can Change the World! (1990)

by Philip Wadler
Venue:PROGRAMMING CONCEPTS AND METHODS
Citations:139 - 10 self

Document Versions

Linear Types Can Change the World! –Philip Wadler — 1990 — PROGRAMMING CONCEPTS AND METHODS
Linear Types Can Change the World! –Philip Wadler — 1990 — Programming Concepts and Methods