Linear types can change the world – University of Glasgow [pdf](pdfs.semanticscholar.org)2 points by dimitrov 9 years ago | 0 commentsNo comments yet