phd student in type theory
- Stack Overflow 50.6k 50.6k 1111 gold badges9191 silver badges130130 bronze badges
- Software Engineering 11.5k 11.5k 33 gold badges4343 silver badges5151 bronze badges
- Computer Science 1.4k 1.4k 11 gold badge1313 silver badges2020 bronze badges
- Code Golf 973 973 77 silver badges1212 bronze badges
- Mathematics 349 349 22 silver badges99 bronze badges
- View network profile
Top network posts
- 133 Setting an int to Infinity in C++
- 120 python generator "send" function purpose?
- 118 Why doesn't Java 8 include immutable collections?
- 105 How can I write multiline strings in Haskell?
- 84 What are the safety benefits of a type system?
- 75 Setting an int to Infinity in C++
- 74 Sets Data Structure in Golang
- View more network posts →