-,authorStephenAdams"
titleSets EfficientlyaFunctional Language,
java.lang.StringIndexOutOfBoundsException: Range [23, 11) out of bounds for length 118

@article{Adams  volume     {},
  author    = {Stephen Adams},
  title     = {Efficient Sets - {A} Balancing Act},
  journal   = {J. Funct. Program.},
  volume    = {3},
  number    = {4},
  pages     = {553--561},
  year      ={1993}
}

@ pages     = {553--561},
title={Balanced search trees made simpleyear       {993}
booktitle
{}v{{pringer}

@inproceedings{title={Balanced searchmade }pages{-71}year1993java.lang.StringIndexOutOfBoundsException: Index 67 out of bounds for length 67
author    =G E Blellochand
               
               Yihan Sun},
  title     = {Just Join for Parallel Ordered Sets},
booktitle = {{SPAA}},
  pages     = {253--264},
  publisher =author    ={Guy E Blelloch and
  year      {2016java.lang.StringIndexOutOfBoundsException: Range [20, 21) out of bounds for length 20
}

@unpublished{BraunRem,author={W. Braun   booktitle ={SPAA}}java.lang.StringIndexOutOfBoundsException: Index 23 out of bounds for length 23
  pub ={{CM},
note="Memorandum MR83/4. Eindhoven University of Techology",java.lang.StringIndexOutOfBoundsException: Index 62 out of bounds for length 20

@phdthesis{Crane72,author={Clark A. title="A logarithmic implementation of flex",
{ Listsjava.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 64
{  ,StanfordUniversity,year1972java.lang.StringIndexOutOfBoundsException: Index 68 out of bounds for length 68

articleHinze,= }
itle{Functional12  }java.lang.StringIndexOutOfBoundsException: Index 44 out of bounds for length 44
journal={J. Functional Programming},
volume=19,number={6},pages={633--644},year=2009}

volume=19number={6},pages={633--644},year=2009}
= {Ralf Hinze}
  title     = {On  author    = {alf }java.lang.StringIndexOutOfBoundsException: Index 27 out of bounds for length 27
  journal   = {J. Funct. Programj    {.Funct.Program.,
  volumevolume     28,
  ={}java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  year      = {2018},
  url       = {https://doi.org/10.1017/S0956796818000187},
}

@article{HoffmannOD-TOPLAS82,
author={hristoph M.Hoffmann and Michael J O'onnell},
=Programming with Equations}journal={{ACM} Trans. Program. Lang. Syst.},
volume=volume=4,number=1,pages={83--112},year=1982}}

@inproceedings{Hoogerwoord,author={Rob R. Hoogerwoord},
title="A title"A logarithmic implementation offlexible arrays",
editor={R. editor={R. Bird C. Morganand J Woodcock},
booktitle{of    ,
publisherpublisher{Springer,=LNCS,=,year1992java.lang.StringIndexOutOfBoundsException: Index 56 out of bounds for length 56
pages={191-207}}

@article{Kahrs-JFP01,journal={J. Functional Prog},olume=,umber=4,pages={425-432},year=2001}
journal=J Functional Programming}volume,number=4,pages={425-432},year=2001}

@misc{Kahrs-html,author={Stefan Kahrs},title={java.lang.StringIndexOutOfBoundsException: Range [0, 49) out of bounds for length 0
note={\title=Automatic Functional Correctness Proofs for Functional Search Trees},

@unpublished{Nipkow16java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
title=Automatic Functional Correctness Proofs for Functional Search Trees},
year                Palao and

@inproceedings{NunezPP95,
       ={ASecond Year Course nData  Based  Functional Programming},
               Pedro Palao and
               Ricardo Pena}
= {A Second Year CourseonData Structures Based  Functional Programming},
  booktitle = {Functional Programming Languages in Education},  year       {995}java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
  pagesMarinus J. Plasmeijer},
  year      = {1995},
  java.lang.StringIndexOutOfBoundsException: Range [21, 8) out of bounds for length 21
               Marinus J. Plasmeijer},
  series    = {LNCS},
  volume    = {1022},
  publisher = {Springer},
year      = {1995},
}


@book{Okasaki,}
publisher="Cambridge University Press",java.lang.StringIndexOutOfBoundsException: Range [0, 43) out of bounds for length 0

@article{ublisher="Cambridge University Press",year=1998}
title={Eine neue {K}lasse von ausgeglichenen {B}in
{Angewandte Informatik},olume=,umber=9,pages=395-400},year=1976}

@article{OttmannWtitle={ineneue{K}lasse von ausgeglichenen {B}in\"arb\"aumen},
journalAngewandteInformatik},volume=18,number=9,pages={395--400},year=1976}
volume=23,number=3,pages={248--255},year=1980}

@volume=23,number=3,pages={248--255},year=1980}
@inproceedings{Ragde14author=Prabhakar Ragde},
booktitle={Trends in Functional Programming in title={Simple Balanced Binary Search Trees},pages=},ear=2014,
series={EPTCS},volume=170,editor={booktitle={Trends in Functional ProgrammingEducation}java.lang.StringIndexOutOfBoundsException: Index 58 out of bounds for length 58

@article{Reade-SCP92,author={Chris Reade},
title={java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
journal=Sci},year1992

@article{Schoenmakers-IPL93,author="Berrytitle{   Removals:AnExercise in Rewriting and Proof},
journal{Sci.Comput Program.,olume=number=,pages=181-}year=}

@article{SleatorT-JACM85,author={Daniel D. title" Systematic Analysis of Splaying",journal={Information Processing Letters},volume=45,pages={41
title=Self- BinarySearch Trees},journal={J. ACM},
volume=32,number=3,pages={652-686}title=Self- Binary Search Trees},ournal={.ACM,

Turbak230author={ranklyn Turbak}
java.lang.StringIndexOutOfBoundsException: Index 0 out of bounds for length 0
note=\urlhttp:/cs.ellesley.edu/~cs230/spring07/handouts.html}}}