Hood-Melville Queue

Alejandro Gómez-Londoño 📧

January 18, 2021

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


This is a verified implementation of a constant time queue. The original design is due to Hood and Melville. This formalization follows the presentation in Purely Functional Data Structuresby Okasaki.


BSD License


Related publications

Session Hood_Melville_Queue