William Gallard Hatch

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 3

Top Topics

Top Venues

Publications

William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide
Generating Conforming Programs with Xsmith. GPCE (2023)
Pierce Darragh, William Gallard Hatch, Eric Eide
Clotho: A Racket Library for Parametric Randomness. Scheme@ICFP (2020)
William Gallard Hatch, Matthew Flatt
Rash: from reckless interactions to reliable programs. GPCE (2018)