101 reputation
2
bio website jozefg.bitbucket.org
location United States
age 17
visits member for 1 year, 10 months
seen Feb 12 at 5:01

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
This user has not asked any questions
This user has not participated in any tags
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

2 Votes Cast

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