Linear types can change the world (1990) [pdf]

2 points | by Tomte 8 hours ago