|
61224
|
1 |
@article{Kahrs-JFP01,author={Stefan Kahrs},title={Red-Black Trees with Types},
|
|
|
2 |
journal={J. Functional Programming},volume=11,number=4,pages={425-432},year=2001}
|
|
61203
|
3 |
|
|
61224
|
4 |
@misc{Kahrs-html,author={Stefan Kahrs},title={Red Black Trees},
|
|
|
5 |
note={\url{http://www.cs.ukc.ac.uk/people/staff/smk/redblack/rb.html}}}
|
|
61203
|
6 |
|
|
61224
|
7 |
@book{Okasaki,author={Chris Okasaki},title="Purely Functional Data Structures",
|
|
|
8 |
publisher="Cambridge University Press",year=1998}
|
|
61525
|
9 |
|
|
|
10 |
@article{Schoenmakers-IPL93,author="Berry Schoenmakers",
|
|
|
11 |
title="A Systematic Analysis of Splaying",journal={Information Processing Letters},volume=45,pages={41-50},year=1993}
|
|
|
12 |
|
|
|
13 |
@article{SleatorT-JACM85,author={Daniel D. Sleator and Robert E. Tarjan},
|
|
|
14 |
title={Self-adjusting Binary Search Trees},journal={J. ACM},
|
|
|
15 |
volume=32,number=3,pages={652-686},year=1985}
|