Categories
algorithms
computational geometry
memory management
types
functional programming
type theory
15-451
data structures
brain teaser
15-459
quantum
2023
Convex Hull
Garbage Collection
Phantom Types
Monads
Dynamic Dispatch: Memory Organization
Type Checking: Subtyping
V. Universal and Perfect Hashing
IV. Splay Trees
Last Coin
III. Amortized Analysis
IV. Minus World
III. Garbage Qubit Disposal
Pirates!
II. Quantum Computing Foundations
II. Bounding Problems
I. The Hadamard Gate
I. Derandomization: Kth Smallest Element