Fold and unfold for program semantics (1998)

by G Hutton
Venue:In: Proceedings of 3 ACM SIGPLAN international conference on functional programming