Computer Science
Profile Activity
Meta user
Network profile
1,440
reputation
1
13
20

Daniel Gratzer

phd student in type theory

9
answers
4
questions
~34k
people reached

Communities (21)

Top network posts

Top tags (21)

Score 30
Posts 5
Posts % 38
Score 27
Posts 4
Score 20
Posts 3
Score 16
Posts 4
Score 12
Posts 1
Score 11
Posts 1
View all tags →

Top posts (13)

All Questions Answers
Votes Newest
40 Deciding on Sub-Problems for Dynamic Programming Mar 22 '12
17 Studying Programming Language Theory Dec 11 '12
12 Universal/existential quantification? Jan 26 '16
11 Simply Typed Combinatory Logic? Dec 24 '13
10 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 (34)

Gold

1

Rarest

Silver

13

Rarest

Bronze

20

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.