Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta user
Network profile
7,052
reputation
16
41

cody

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.

114
answers
1
question
~97k
people reached

Communities (15)

Top Meta Posts
0
1

Top network posts

Top tags (95)

Score 162
Posts 26
Posts % 23
Score 131
Posts 20
Score 131
Posts 13
Score 107
Posts 11
Score 101
Posts 17
Score 58
Posts 12
View all tags →

Top posts (115) All Questions Answers | Votes Newest

34 What makes type inference for dependent types undecidable? Jun 28 '13
34 Formal program verification in practice Aug 20 '13
30 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
15 $\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 “Minimal” intuitionistic type theory? Mar 22 '16
11 Relation between type-checking decidability, typability decidability and strong normalization May 1 '17
10 Sorting algorithms which accept a random comparator Jun 12 '12
View all questions and answers →

Badges (57)

Gold

—

Silver

16

Rarest

Bronze

41

Rarest

View all badges →