Publications

Rash: From Reckless Interactions to Reliable Programs
William Gallard Hatch and Matthew Flatt

GPCE 2018