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