113 reputation
6
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 1 year, 10 months
seen Jul 16 '13 at 17:28

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
Stack Overflow 29,502 rep 44080
Programmers 6,854 rep 22634
Programming Puzzles & Code Golf 538 rep 310
Computer Science 402 rep 210
Area 51 151 rep 2

6 Votes Cast

all time   by type  
6 up 2 question
0 down 4 answer