News for hackers. Stuff that matters.

A comment on Linear types can change the world (1990) [pdf]. Parent comment

Re:Linear types can change the world (1990) [pdf] by kthielen on Tuesday January 09, 2018 @08:50PM (#16111969)
FWIW:

https://www.cs.princeton.edu/~appel/papers/ssafun.ps

[ Parent | on HN ]

There are no comments on this comment yet.