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 the dual recursion operator unfold can be used to st...
| Main Author: | |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
1998
|
| Online Access: | https://eprints.nottingham.ac.uk/230/ |