Rash: from reckless interactions to reliable programs.

William Gallard Hatch, Matthew Flatt

Browse the full GPCE paper archive.