Computer Science
Meta user
Network profile
1,390
reputation
1
11
19

Daniel Gratzer

phd student in type theory

9
answers
4
questions
~29k
people reached

Communities (21)

Top network posts

Top tags (21)

Score 28
Posts 5
Posts % 38
Score 26
Posts 4
Score 20
Posts 3
Score 16
Posts 4
Score 11
Posts 1
Score 11
Posts 1
View all tags →

Top posts (13) All Questions Answers | Votes Newest

39 Deciding on Sub-Problems for Dynamic Programming Mar 22 '12
15 Studying Programming Language Theory Dec 11 '12
11 Universal/existential quantification? Jan 26 '16
11 Simply Typed Combinatory Logic? Dec 24 '13
9 Meaning of “positive position” and “negative position” in type theory? May 5 '15
9 How is IO a monad? Oct 7 '14
8 How To Best Learn About Algorithms In Depth Mar 27 '12
4 Computer Programs and lambda terms without normal form May 29 '15
4 How to understand equivalence of indexes of a family of types that are not definitionally equal May 4 '15
2 Rearranging function in 'Theorems for free' May 8 '15
View all questions and answers →

Badges (31)

Gold

1

Rarest

Silver

11

Rarest

Bronze

19

Rarest

View all badges →