Publications

Rash: From Reckless Interactions to Reliable Programs
William Gallard Hatch and Matthew Flatt
    GPCE 2018
Clotho: A Racket Library for Parametric Randomness
Pierce Darragh, William Gallard Hatch, and Eric Eide
    Scheme 2020
Expressive Parsing With Delimited Continuations
William Gallard Hatch and Matthew Flatt
    Coming Soon
Generating Conforming Programs With Xsmith
William Gallard Hatch, Pierce Darragh, Guy Watson, Sorawee Porncharoenwase, and Eric Eide
    Under Submission