Functional Pearl: Explaining binomial heaps (1999)

by Ralf Hinze
Venue:Journal of Functional Programming