November 13, 2013
Racket, obvs. But I'm very interested in type theory and verification, as an avid Coq user.
I could present on almost any PL topic as a teacher and quite a few as a researcher/expert.
Racket, Coq, Ocaml, C, Perl
I'm a member of the Racket development team. I have a PhD in Computer Science from Brown where I specialized in PL research. I'm a professor at BYU.