Fold and unfold for program semantics (1998)

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