|
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 |