The efficient implementation of very-high-level programming language constructs

Purely functional random-access lists

FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture

Persistent lists with catenation via recursive slow-down

STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing

The role of lazy evaluation in amortized data structures

Proceedings of the first ACM SIGPLAN international conference on Functional programming

Catenable double-ended queues

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming

Purely functional, real-time deques with catenation

Journal of the ACM (JACM)

Efficient abstractions for the implementation of structured editors

SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments

Topics in data structures

Algorithms and theory of computation handbook