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

(cs.ioc.ee)

2 points | by Tomte 9 hours ago ago