Derivation of programs which traverse their input data only once

Rules and strategies for transforming functional and logic programs

ACM Computing Surveys (CSUR)

Using circular programs to deforest in accumulating parameters

ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation

Using Circular Programs to Deforest in Accumulating Parameters

Higher-Order and Symbolic Computation

Bidirectionalization for free! (Pearl)

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