Skip to main content
Computer Science
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 12 years, 9 months
  • Last seen more than a month ago
Profile Activity
Stats
1,500
reputation
42k
reached
9
answers
4
questions
Communities
View all
About

postdoc 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
33
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
question
43
Deciding on Sub-Problems for Dynamic Programming
Mar 22, 2012
question
17
Studying Programming Language Theory
Dec 11, 2012
answer
13
Meaning of "positive position" and "negative position" in type theory?
May 5, 2015
answer
12
Universal/existential quantification?
Jan 26, 2016
answer
11
Simply Typed Combinatory Logic?
Dec 24, 2013
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
157
Setting an int to Infinity in C++
153
What is the purpose of the "send" function on Python generators?
124
How can I write multiline strings in Haskell?
119
Why doesn't Java 8 include immutable collections?
92
Setting an int to Infinity in C++