Red-black trees with types

Stefan Kahrs. Red-black trees with types. Journal of Functional Programming, 11(4):425-432, 2001.

Abstract

Abstract is missing.