Red-black trees with types
From MaRDI portal
Publication:2757083
DOI10.1017/S0956796801004026zbMath0994.68031OpenAlexW2154421030WikidataQ128253359 ScholiaQ128253359MaRDI QIDQ2757083
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
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