Computer Science
Profile Activity
Meta user
Network profile
7,473
reputation
18
49

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.

121
answers
1
question
~130k
people reached
  • Cambridge, MA
  • andrew.cmu.edu/~croux
  • Member for 8 years, 11 months
  • 581 profile views
  • Last seen 9 hours ago

Communities (15)

Top Meta Posts
0
1

Top network posts

Top tags (100)

Score 174
Posts 28
Posts % 23
Score 137
Posts 13
Score 134
Posts 20
Score 117
Posts 13
Score 105
Posts 18
Score 63
Posts 18
View all tags →

Top posts (122)

All Questions Answers
Votes Newest
38 What makes type inference for dependent types undecidable? Jun 28 '13
37 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
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 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 →

Badges (67)

Gold

—

Silver

18

Rarest

Bronze

49

Rarest

View all badges →