PhD-Track MSc student at UBC. I like PL, compilers, and verification.
-
University of British Columbia
- Vancouver, Canada
- https://www.jaspergeer.com/
Norman Ramsey
nrnrnr
Happy hacker in ML, Lua, Haskell, C, others.
Tufts University Malden, Mass, USA