Linear types can change the world – University of Glasgow [pdf]

pdfs.semanticscholar.org