From Algol to polymorphic linear lambda-calculus.
Polylog-time and near-linear work approximation scheme for undirected shortest paths.
Parallel RAMs with owned global memory and deterministic context-free language recognition.
The harmonic
Minimum cuts in near-linear time.
Existential second-order logic over strings.