Well, that's unfortunate. This page aggregates all the Center for Bits and Atoms papers, which can be cross-referenced by the titles in the submitted link: http

Well, that's unfortunate. This page aggregates all the Center for Bits and Atoms papers, which can be cross-referenced by the titles in the submitted link: http://cba.mit.edu/docs/papers/ http://cba.mit.edu/docs/papers/ Here is the main RALA paper (PDF warning): http://cba.mit.edu/docs/papers/09.11.POPL.pdf http://cba.mit.edu/docs/papers/09.11.POPL.pdf