here you goThings I’ve made, read and saved — shared here.

Linear Types Can Change the World!

Conference paperWadler 1990Cite as [@wadler1990linear]

Wadler, Philip. 1990. “Linear Types Can Change the World!” In Programming Concepts and Methods, 5. Citeseer.

BibTeX
@inproceedings{wadler1990linear,
  title = {Linear Types Can Change the World!},
  booktitle = {Programming Concepts and Methods},
  author = {Wadler, Philip},
  year = 1990,
  volume = {3},
  pages = {5},
  publisher = {Citeseer}
}

Download