Computer Science
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 11 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
1,480
reputation
40k
reached
9
answers
4
questions
Communities
View all
About

phd student in (categorical) type theory. Interested in higher categories and modal type theory.

Badges
View all badges
1
gold badge
13
silver badges
22
bronze badges
Top tags
View all tags
31
Score
5
Posts
38
Posts %
27
Score
4
Posts
31
Posts %
20
Score
3
Posts
23
Posts %
16
Score
4
Posts
31
Posts %
12
Score
1
Posts
8
Posts %
11
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
43
Deciding on Sub-Problems for Dynamic Programming
Mar 22, 2012
question
17
Studying Programming Language Theory
Dec 11, 2012
answer
12
Universal/existential quantification?
Jan 26, 2016
answer
11
Simply Typed Combinatory Logic?
Dec 24, 2013
answer
11
Meaning of "positive position" and "negative position" in type theory?
May 5, 2015
answer
9
How is IO a monad?
Oct 7, 2014
question
8
How To Best Learn About Algorithms In Depth
Mar 27, 2012
answer
4
How to understand equivalence of indexes of a family of types that are not definitionally equal
May 4, 2015
answer
4
Computer Programs and lambda terms without normal form
May 29, 2015
question
2
Using Funk SVD with SGD?
Sep 30, 2012
Top network posts
View all network posts
150
Setting an int to Infinity in C++
147
What is the purpose of the "send" function on Python generators?
121
How can I write multiline strings in Haskell?
119
Why doesn't Java 8 include immutable collections?
88
Setting an int to Infinity in C++

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.