Edit: [0]... -> [0] https://news.ycombinator.com/item?id=9322278 https://news.ycombinator.com/item?id=9322278 (to give credit properly) Also, since the rala.cb

Edit: [0]... -> [0] https://news.ycombinator.com/item?id=9322278 https://news.ycombinator.com/item?id=9322278 (to give credit properly) Also, since the rala.cba links return 404, here is the paper index for the Center for Bits and Atoms as a whole: http://cba.mit.edu/docs/papers/ http://cba.mit.edu/docs/papers/ This is the RALA paper which caught my eye (PDF warning): http://cba.mit.edu/docs/papers/09.11.POPL.pdf http://cba.mit.edu/docs/papers/09.11.POPL.pdf