Fold and Unfold for Program Semantics (1998)

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