Publications

Rash: From Reckless Interactions to Reliable Programs
William Gallard Hatch and Matthew Flatt
    GPCE 2018
Parsing With Delimited Continuations     Coming Soon
Generating Differentiable Programs With Xsmith     Coming Soon