Papers we love: flow typing, a new lens on linearity

jaredforsyth.com