
29 Mar
2017
29 Mar
'17
1:37 p.m.
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