175
Voted
ICFP
1998
ACM
16 years 2 days ago
1998
ACM
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...