Results 1 
2 of
2
Monadic Corecursion  Definition, Fusion Laws, and Applications
 Electronic Notes in Theoretical Computer Science
, 1998
"... This paper investigates corecursive definitions which are at the same time monadic. This corresponds to functions that generate a data structure following a corecursive process, while producing a computational effect modeled by a monad. We introduce a functional, called monadic anamorphism, that cap ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
(Show Context)
This paper investigates corecursive definitions which are at the same time monadic. This corresponds to functions that generate a data structure following a corecursive process, while producing a computational effect modeled by a monad. We introduce a functional, called monadic anamorphism, that captures definitions of this kind. We also explore another class of monadic recursive functions, corresponding to the composition of a monadic anamorphism followed by (the lifting of) a function defined by structural recursion on the data structure that the monadic anamorphism generates. Such kind of functions are captured by socalled monadic hylomorphism. We present transformation laws for these monadic functionals. Two nontrivial applications are also described.
Fusion of Monadic (Co)Recursive Programs
"... this paper we present the definitions and some fusion laws corresponding to monadic anamorphism and monadic hylomorphism. We also give a brief account of some nontrivial applications that can be represented in terms of these functionals. (A detailed treatment of the topics presented in this paper ca ..."
Abstract
 Add to MetaCart
(Show Context)
this paper we present the definitions and some fusion laws corresponding to monadic anamorphism and monadic hylomorphism. We also give a brief account of some nontrivial applications that can be represented in terms of these functionals. (A detailed treatment of the topics presented in this paper can be found in [17].) 2 Preliminaries