Fusion of Monadic (Co)Recursive Programs (2007)
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...
Tarmo Uustalu, Varmo Vene, Alberto Pardo
The aim of generic/polytypic programming is to devise programming languages and calculi supporting non-traditional forms of polymorphism, the prime example in the functional setting being...
Nordic Journal of Computing COMONADIC ITERATION (2007)
Abstract. Within the setting of the categorical approach to programming with total functions, a \many-in-one " recursion scheme is introduced that neatly unies a variety of recursion schemes...
Program fusion with paramorphisms (2006)
Facundo Domínguez, Alberto Pardo
The design of programs as the composition of smaller ones is a wide spread approach to programming. In functional programming, this approach raises the necessity of creating a good amount of...
A calculational approach to recursive programs with effects / (2001)
Darmstadt, Techn. University, Diss., 2001.
Towards Merging Recursion and Comonads (2000)
Comonads are mathematical structures that account naturally for effects that derive from the context in which a program is executed. This paper reports ongoing work on the interaction between...
Monadic Corecursion - Definition, Fusion Laws, and Applications (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...
Type Theory and Functional Programming: a work proposal (1997)
Gustavo Betarte, Ana Bove, Juan José Cabezas, Guillermo Calderón, Cristina Cornes, Sylvia Da Rosa, ...
We propose a series of work areas related to program verification, type theory and functional programming. The areas presented are: the implementation of an environment for carrying out constructions...
La realización de un Proyecto de Investigación sobre la Educación Ambiental en Iberoamérica exige un análisis previo de la situación actual de la Educación Ambiental en estos países, centrada...
Tello Ripa, Blanca, Pardo, Alberto
La realización de un Proyecto de Investigación sobre la Educación Ambiental en Iberoamérica exige un análisis previo de la situación actual de la Educación Ambiental en estos países, centrada...