An efficiency comparison of some representations of purely functional arrays

On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A randomized implementation of multiple functional arrays

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming

Real-time deques, multihead Turing machines, and purely functional programming

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture

Purely functional random-access lists

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

A probabilistic approach to the problem of automatic selection of data representations

Proceedings of the first ACM SIGPLAN international conference on Functional programming

Functional programming with graphs

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

Bootstrapping one-sided flexible arrays

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming

Inductive graphs and functional graph algorithms

Journal of Functional Programming

A new method for functional arrays

Journal of Functional Programming

Copy-on-write in the PHP language

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages