387 reputation
110
bio website jozefg.bitbucket.org
location United States
age 17
visits member for 2 years, 1 month
seen 2 hours ago

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.


Stack Overflow 25,165 rep 43370
Programmers 6,027 rep 22333
Programming Puzzles & Code Golf 428 rep 39
Computer Science 387 rep 110
Area 51 151 rep 2

30 Votes Cast

all time   by type  
29 up 14 question
1 down 16 answer