Functional


Persistent Data Structures: The Chairman Tree