Computer Science
Daniel Gratzer's user avatar
Daniel Gratzer's user avatar
Daniel Gratzer's user avatar
Daniel Gratzer
  • Member for 10 years, 7 months
  • Last seen more than a month ago
Profile Activity
Stats
1,460
reputation
37k
reached
9
answers
4
questions
Communities
View all
About

phd student in type theory

Badges
View all badges
1
gold badge
13
silver badges
20
bronze badges
Top tags
View all tags
30
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
42
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
10
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
answer
2
Rearranging function in 'Theorems for free'
May 8, 2015
Top network posts
View all network posts
143
Setting an int to Infinity in C++
136
What is the purpose of the "send" function on Python generators?
118
Why doesn't Java 8 include immutable collections?
115
How can I write multiline strings in Haskell?
84
What are the safety benefits of a type system?

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.