▲ 2 pointsLinear types can change the world (1990) [pdf]cs.ioc.eeby Tomte·4d ago·0 comments·view on hn ↗