Fundamental Theorem of Calculus

Deriving Type Erasure

Optimizing a lock-free ring buffer

Devirtualization and Static Polymorphism