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


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