| author | wenzelm |
| Fri, 09 Oct 2015 21:16:00 +0200 | |
| changeset 61379 | c57820ceead3 |
| parent 61225 | 1a690dce8cfc |
| child 61525 | 87244a9cfe40 |
| permissions | -rw-r--r-- |
@article{Kahrs-JFP01,author={Stefan Kahrs},title={Red-Black Trees with Types}, journal={J. Functional Programming},volume=11,number=4,pages={425-432},year=2001} @misc{Kahrs-html,author={Stefan Kahrs},title={Red Black Trees}, note={\url{http://www.cs.ukc.ac.uk/people/staff/smk/redblack/rb.html}}} @book{Okasaki,author={Chris Okasaki},title="Purely Functional Data Structures", publisher="Cambridge University Press",year=1998}