101 reputation
2
bio website jozefg.bitbucket.org
location United States
age 17
visits member for 2 years, 6 months
seen Apr 16 at 1:34

I am a student who enjoys PLT, type theory, and functional programming. Mostly I write Haskell, sometimes Agda, Scheme, or Ruby.

I like compilers and formal verification (mostly in Coq) too.


This user has not answered any questions