Fold and Unfold for Program Semantics

Graham Hutton. Fold and Unfold for Program Semantics. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 280-288, ACM, Baltimore, Maryland, United States, 1998. [doi]

Abstract

Abstract is missing.