Linear types can change the world – University of Glasgow [pdf] pdfs.semanticscholar.org 2 points by dimitrov 9 years ago · 0 comments Reader PiP Save No comments yet.