Deletion: The curse of the red-black tree

DOI10.1017/S0956796814000227zbMath1302.68060OpenAlexW2161442076MaRDI QIDQ2933113

Matthew Might, Kimball Germane

Publication date: 10 December 2014

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796814000227

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05)

Uses Software

• Coq
• Haskell

Cites Work

• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• The Zipper
• Red-black trees in a functional setting

This page was built for publication: Deletion: The curse of the red-black tree