Promotional Transformation of Monadic Programs


Monads are becoming an increasingly important tool for structural functional programming, because they provide a uniform framework for describing a wide range of programming language features. To facilitate program transformation, Fokkinga derived a su cient assumption under which there is a kind of socalled monadic catamorphisms which satisfy several… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.