Theoretical Computer Science
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer's user avatar
daniel gratzer
  • Member for 9 years, 2 months
  • Last seen more than 7 years ago
Profile Activity
Stats
313
reputation
0
reached
0
answers
0
questions
Communities
View all
About

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

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

This user hasn’t posted yet.

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.