PhD candidate at Purdue University studying programming languages, program verification and synthesis. Previously Square and elsewhere.
-
Purdue University
- https://robd.io
Highlights
- Pro
Stars
Haskell implementation of Scheme interpreter from Abelson and Sussman's SICP.