Publications

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