6,874 reputation
22534
bio website jozefg.bitbucket.org
location United States
age 18
visits member for 2 years, 7 months
seen 10 mins 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.


136
× 18
41
26
13
× 2
110
× 6
41
25
× 2
13
87
× 3
37
× 5
25
× 2
12
× 3
81
× 4
35
× 3
22
× 3
12
× 2
75
34
× 3
22
12
75
34
20
× 2
12
74
× 11
34
19
× 3
12
74
33
× 8
18
× 6
10
× 3
72
× 7
30
× 2
18
10
57
× 8
29
× 4
15
× 4
10
43
× 2
28
× 5
15
× 3
9
× 3
43
× 2
26
× 3
15
9
43
26
14
× 3
9