Computer Science
Meta user
Network profile
7,132
reputation
17
43

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.

115
answers
1
question
~99k
people reached
  • Cambridge, MA
  • andrew.cmu.edu/~croux
  • Member for 7 years, 4 months
  • 457 profile views
  • Last seen 12 hours ago

Communities (15)

Top Meta Posts
0
1

Top network posts

Top tags (95)

Score 168
Posts 27
Posts % 23
Score 133
Posts 20
Score 133
Posts 13
Score 110
Posts 12
Score 102
Posts 17
Score 58
Posts 12
View all tags →

Top posts (116) All Questions Answers | Votes Newest

35 What makes type inference for dependent types undecidable? Jun 28 '13
35 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 Relation between type-checking decidability, typability decidability and strong normalization May 1 '17
12 “Minimal” intuitionistic type theory? Mar 22 '16
10 Why are dependently typed languages such as Agda used for proofs, if supercompilers for simpler typed languages can do the same? May 21 '14
View all questions and answers →

Badges (60)

Gold

—

Silver

17

Rarest

Bronze

43

Rarest

View all badges →