Computer Science
Profile Activity
Meta user
Network profile
7,603
reputation
20
51

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.

122
answers
1
question
~133k
people reached
  • Cambridge, MA
  • andrew.cmu.edu/~croux
  • Member for 9 years, 1 month
  • 611 profile views
  • Last seen Apr 30 at 19:51

Communities (15)

Top Meta Posts
0
1

Top network posts

Top tags (100)

Score 175
Posts 28
Posts % 23
Score 139
Posts 14
Score 137
Posts 21
Score 118
Posts 13
Score 107
Posts 18
Score 65
Posts 18
View all tags →

Top posts (123)

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

Badges (71)

Gold

—

Silver

20

Rarest

Bronze

51

Rarest

View all badges →

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.