C. M. P. Reade
-
Red-black trees with types
Journal of Functional Programming
Red-black trees in a functional setting
Purely functional 1-2 brother trees