yallop/popl2015-papers — pull request #1 by mgree (2014-10-17 20:11:02+00:00)
Title: Add a link to my TR

The arXiv TR is probably a nicer thing to read. I'll have a preprint version in the conference style up on my website soon.