Fold and Unfold for Program Semantics
(1998)
Conference Proceeding
Hutton, G. (1998). Fold and Unfold for Program Semantics.
In this paper we explain how recursion operators can be used to structure and reason about program semantics within a functional language. In particular, we show how the recursion operator fold can be used to structure denotational semantics, how th... Read More about Fold and Unfold for Program Semantics.