Red-black trees with types

DOI10.1017/S0956796801004026zbMath0994.68031OpenAlexW2154421030WikidataQ128253359 ScholiaQ128253359MaRDI QIDQ2757083

Stefan Kahrs

Publication date: 21 November 2001

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

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

zbMATH Keywords

functional programming languagered-black trees

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items

Unnamed Item ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ Automatic Functional Correctness Proofs for Functional Search Trees ⋮ Purely Functional 1-2 Brother Trees