The Evolution of List-Copying Algorithms.

Stanley Lee, Willem P. de Roever, Susan L. Gerhart

Browse the full POPL paper archive.