Hacker News new | ask | show | jobs
Linear types can change the world – University of Glasgow [pdf] (pdfs.semanticscholar.org)
2 points by dimitrov 3373 days ago