62496
|
1 |
@inproceedings{Andersson-WADS93,author={Arne Andersson},
|
|
2 |
title={Balanced search trees made simple},pages={60--71},year=1993,
|
|
3 |
booktitle={Algorithms and Data Structures (WADS '93)},
|
|
4 |
series={LNCS},volume={709},publisher={Springer}}
|
|
5 |
|
62706
|
6 |
@phdthesis{Crane72,author={Clark A. Crane},
|
|
7 |
title={Linear Lists and Prorty Queues as Balanced Binary Trees},
|
|
8 |
school={Computer Science Department, Stanford University},year=1972}
|
|
9 |
|
61784
|
10 |
@article{Hinze-bro12,author={Ralf Hinze},
|
|
11 |
title={Purely Functional 1-2 Brother Trees},
|
|
12 |
journal={J. Functional Programming},
|
|
13 |
volume=19,number={6},pages={633--644},year=2009}
|
|
14 |
|
61791
|
15 |
@article{HoffmannOD-TOPLAS82,
|
|
16 |
author={Christoph M. Hoffmann and Michael J. O'Donnell},
|
|
17 |
title={Programming with Equations},journal={{ACM} Trans. Program. Lang. Syst.},
|
|
18 |
volume=4,number=1,pages={83--112},year=1982}}
|
|
19 |
|
61224
|
20 |
@article{Kahrs-JFP01,author={Stefan Kahrs},title={Red-Black Trees with Types},
|
|
21 |
journal={J. Functional Programming},volume=11,number=4,pages={425-432},year=2001}
|
61203
|
22 |
|
61224
|
23 |
@misc{Kahrs-html,author={Stefan Kahrs},title={Red Black Trees},
|
|
24 |
note={\url{http://www.cs.ukc.ac.uk/people/staff/smk/redblack/rb.html}}}
|
61203
|
25 |
|
62496
|
26 |
@unpublished{Nipkow16,author={Tobias Nipkow},
|
|
27 |
title={Automatic Functional Correctness Proofs for Functional Search Trees},
|
|
28 |
year=2016,month=feb,note={\url{http://www.in.tum.de/~nipkow/pubs/trees.html}}}
|
|
29 |
|
62706
|
30 |
@inproceedings{NunezPP95,
|
|
31 |
author = {Manuel N{\'{u}}{\~{n}}ez and
|
|
32 |
Pedro Palao and
|
|
33 |
Ricardo Pena},
|
|
34 |
title = {A Second Year Course on Data Structures Based on Functional Programming},
|
|
35 |
booktitle = {Functional Programming Languages in Education},
|
|
36 |
pages = {65--84},
|
|
37 |
year = {1995},
|
|
38 |
editor = {Pieter H. Hartel and
|
|
39 |
Marinus J. Plasmeijer},
|
|
40 |
series = {LNCS},
|
|
41 |
volume = {1022},
|
|
42 |
publisher = {Springer},
|
|
43 |
year = {1995},
|
|
44 |
}
|
|
45 |
|
|
46 |
|
61224
|
47 |
@book{Okasaki,author={Chris Okasaki},title="Purely Functional Data Structures",
|
|
48 |
publisher="Cambridge University Press",year=1998}
|
61525
|
49 |
|
61784
|
50 |
@article{OttmannS76,author={Thomas Ottmann and Hans-Werner Six},
|
|
51 |
title={Eine neue {K}lasse von ausgeglichenen {B}in\"arb\"aumen},
|
|
52 |
journal={Angewandte Informatik},volume=18,number=9,pages={395--400},year=1976}
|
|
53 |
|
|
54 |
@article{OttmannW-CJ80,author={Thomas Ottmann and Derick Wood},
|
|
55 |
title={1-2 Brother Trees or {AVL} Trees Revisited},journal={Comput. J.},
|
|
56 |
volume=23,number=3,pages={248--255},year=1980}
|
|
57 |
|
62496
|
58 |
@inproceedings{Ragde14,author={Prabhakar Ragde},
|
|
59 |
title={Simple Balanced Binary Search Trees},pages={78--87},year=2014,
|
|
60 |
booktitle={Trends in Functional Programming in Education},
|
|
61 |
series={EPTCS},volume=170,editor={Caldwell and H\"olzenspies and Achten}}
|
|
62 |
|
61791
|
63 |
@article{Reade-SCP92,author={Chris Reade},
|
|
64 |
title={Balanced Trees with Removals: An Exercise in Rewriting and Proof},
|
|
65 |
journal={Sci. Comput. Program.},volume=18,number=2,pages={181--204},year=1992}
|
|
66 |
|
61525
|
67 |
@article{Schoenmakers-IPL93,author="Berry Schoenmakers",
|
|
68 |
title="A Systematic Analysis of Splaying",journal={Information Processing Letters},volume=45,pages={41-50},year=1993}
|
|
69 |
|
|
70 |
@article{SleatorT-JACM85,author={Daniel D. Sleator and Robert E. Tarjan},
|
|
71 |
title={Self-adjusting Binary Search Trees},journal={J. ACM},
|
|
72 |
volume=32,number=3,pages={652-686},year=1985}
|
61697
|
73 |
|
|
74 |
@misc{Turbak230,author={Franklyn Turbak},
|
|
75 |
title={{CS230 Handouts --- Spring 2007}},year=2007,
|
|
76 |
note={\url{http://cs.wellesley.edu/~cs230/spring07/handouts.html}}}
|