- Theoretical Computer Science 10.8k 10.8k 22 gold badges2626 silver badges5050 bronze badges
- Computer Science 3.1k 3.1k 1414 silver badges1717 bronze badges
- Stack Overflow 2.9k 2.9k 1818 silver badges3333 bronze badges
- Mathematics 348 348 22 silver badges99 bronze badges
- Unix & Linux 186 186 33 bronze badges
- View network profile
Top network posts
- 576 What's new in purely functional data structures since Okasaki?
- 52 What are the outstanding questions in purely functional data structures?
- 46 Implement an immutable deque as a balanced binary tree?
- 43 Concatenating red-black trees
- 22 persistent vs immutable data structure
- 20 When does type information flow backwards in C++?
- 19 What's the difference between ADTs, GADTs, and inductive types?
- View more network posts →