On Wed, Mar 29, 2017 at 1:57 PM, Leonard Wörteler <leo@woerteler.de> wrote:

Hi Michael,

Am 29.03.2017 um 19:37 schrieb Michael Litchard:

I'm looking for a freely available version of the below paper. Google
Scholar points me to 7 versions, all of which are behind a paywall.

Stefan Kahrs, "Red-black trees with types", Journal of functional
programming, 11(04), pp 425-432, July 2001

this link (and then clicking on the "Download full-text PDF" button) seems to work without registration:


https://www.researchgate.net/publication/259413698_Red-black_trees_with_types

Hope that helps,
  Leo