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


133
× 18
38
24
× 2
12
× 2
98
× 4
38
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
69
× 7
31
× 8
18
10
× 3
66
× 4
28
× 4
17
× 6
10
61
× 9
27
× 5
15
× 5
10
57
× 8
26
15
9
× 3
42
× 2
26
14
× 3
9
42
26
13
9
40
× 2
25
× 2
13
9