gasche/popl2014-papers — pull request #12 by arthuraa (2013-10-18 18:58:34+00:00)
Title: Add some links.

for "A Verified Information-Flow Architecture"