@book(AHU, author = "A. Aho and J. Hopcroft and J. Ullman", year = "1974", title = "The Design And Analysis of Computer Programs", publisher = "Addison-Wesley", ) @inproceedings(AA, author = "A. Andersson", year = "1993", title = "Balanced search trees made simple", booktitle = "Proceedings of the 3rd Workshop on Algorithms and Data Structures", publisher = "Springer Verlag", pages = "60--71", doi = "10.1007/3-540-57155-8\_236", ) @techreport(BR, author = "W. Braun and M. Rem", year = "1983", title = "A logarithmic implementation of flexible arrays", type = "Technical Report", number = "MR83/4", institution = "Eindhoven Institute of Technology", ) @misc(DSRBT, year = "2014", title = "Data.Set.RBTree", url = "http://hackage.haskell.org/package/llrbtree-0.1.1/docs/src/Data-Set-RBTree.html", ) @inproceedings(GS, author = "L. J. Guibas and R. Sedgewick", year = "1978", title = "A dichromatic framework for balanced trees", booktitle = "Proceedings of the 19th Annual Symposium on Foundations of Computer Science", publisher = "IEEE", pages = "8--21", doi = "10.1109/SFCS.1978.3", ) @misc(H, year = "2014", title = "Haskell", url = "http://www.haskell.org", ) @article(Ka3, author = "S. Kahrs", year = "2001", title = "Red-black trees with types", journal = "Journal of Functional Programming", volume = "11", number = "4", doi = "10.1017/S0956796801004026", ) @misc(Ka1, author = "S. Kahrs", year = "2014", title = "Untyped red-black trees", url = "http://www.cs.kent.ac.uk/people/staff/smk/redblack/Untyped.hs", ) @misc(Mi, author = "M. Might", year = "2014", title = "Deletion from red-black trees: the missing method", url = "http://matt.might.net/articles/red-black-delete/", ) @article(Ok, author = "C. Okasaki", year = "1999", title = "Red-black trees in a functional setting", journal = "Journal of Functional Programming", volume = "9", number = "4", doi = "10.1017/S0956796899003494", ) @misc(R, year = "2014", title = "Racket", url = "http://www.racket-lang.org", )