Computer Science
cody
Profile Activity
Stats
7,643
reputation
138k
reached
122
answers
1
questions
About

I am currently an engineer at Draper Labs in Cambridge. My interests include software verification and language design, logic and computability, proof theory and other things.

Communities (15)

Top Meta Posts
0
1

Top network posts

This user doesn’t have any gold badges yet.
20
silver badges
51
bronze badges
View all badges

Top tags (100)

Score 177
Posts 28
Posts % 23
Score 141
Posts 14
Score 137
Posts 21
Score 119
Posts 13
Score 107
Posts 18
Score 65
Posts 18
View all tags →

Top posts (123)

All Questions Answers
Votes Newest
39 What makes type inference for dependent types undecidable? Jun 28 '13
39 Formal program verification in practice Aug 20 '13
31 Is Category Theory useful for learning functional programming? Aug 11 '12
29 if (λ x . x x) has a type, then is the type system inconsistent? Oct 23 '16
16 $\lambda$-calculus with reflection Jul 12 '12
13 Fixed point, what does it mean in the world of computer science Sep 8 '12
12 No Naive Set Theoretic Models of Polymorphic Lambda Calculus? Jan 11 '16
12 Relation between type-checking decidability, typability decidability and strong normalization May 1 '17
12 "Minimal" intuitionistic type theory? Mar 22 '16
10 How does 'deforestation' remove 'trees' from a program? Feb 28 '13
View all questions and answers →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.