Hood-Melville Queue

Alejandro Gómez-Londoño

18 January 2021

Abstract

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

Topics

Theories