Linear types can change the world – University of Glasgow [pdf]pdfs.semanticscholar.org2 points·dimitrov··0 commentsOpen articleSaveView on HN