Recursive Definitions of Monadic Functions

Alexander Krauss

Using standard domain-theoretic fixed-points, we present an approach for defining recursive functions that are formulated in monadic style. The method works both in the simple opti…