101 reputation
2
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 5 months
seen Oct 14 at 23:26

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 29,907 rep 44183
Programmers 6,973 rep 22637
Programming Puzzles & Code Golf 548 rep 310
Computer Science 462 rep 210
Area 51 151 rep 2

2 Votes Cast

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