A simple implementation technique for priority search queues (0)

by R Hinze
Venue:In Proceedings of the 2001 International Conference on Functional Programming