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


135
× 18
39
24
× 2
13
98
× 4
39
22
12
× 2
87
× 3
37
× 5
22
12
75
34
× 4
21
× 3
12
75
34
19
× 3
11
× 3
74
34
19
× 2
11
70
× 7
32
× 8
18
× 6
10
× 3
67
× 4
28
× 5
18
10
63
× 10
28
× 4
15
× 5
10
57
× 8
26
15
9
× 3
43
× 2
26
14
× 3
9
43
26
13
× 2
9
41
× 2
25
× 2
13
9