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 4 years ago
Profile Activity
Stats
1,500
reputation
0
reached
0
answers
0
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
7
silver badges
1
bronze badge
Posts

This user hasn’t posted yet.

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++