Fold and unfold for program semantics (1998)

by G Hutton
Venue:In Proc. 3rd ACM SIGPLAN International Conference on Functional Programming