6,223 reputation
22333
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 5 months
seen 13 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 27,954 rep 43777
Programmers 6,223 rep 22333
Programming Puzzles & Code Golf 508 rep 310
Computer Science 402 rep 210
Area 51 151 rep 2

755 Votes Cast

all time   by type   month  
571 up 321 question 2
184 down 434 answer