The Concatenate Vanishes

  title={The Concatenate Vanishes},
  author={Philip Wadler},
This note presents a trivial transformation that can eliminate many calls of the concatenate (or “append”) operator from a program. The general form of the transformation is well known, and one of the examples, transforming the reverse function, is a classic. However, so far as I am aware, this style of transformation has not previously been systematised in the way done here. The transformation is suitable for incorporation in a compiler, and improves the asymptotic time complexity of some… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 34 extracted citations


Publications referenced by this paper.
Showing 1-4 of 4 references

A non-strict functional language with polymorphic types

D. A. Turner, Miranda
Proceedings of the Conference on Functional Programming Languages and Computer Architecture, • 1985

Similar Papers

Loading similar papers…