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