Fold and unfold for program semantics (1998)

by G Hutton
Venue:In: Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming