Towards Merging Recursion and Comonads (2000)

Cached

Download Links

by Alberto Pardo
Citations:9 - 2 self

Active Bibliography

Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
10 Generic Accumulations – Alberto Pardo - 2002
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
21 Recursion Schemes from Comonads – Tarmo Uustalu, Varmo Vene, Alberto Pardo - 2001
12 Proof Methods for Structured Corecursive Programs – Jeremy Gibbons, Graham Hutton - 1999
93 Polytypic programming – Patrik Jansson - 2000
13 Polytypic Programming With Ease – Ralf Hinze - 1999
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
Higher-Order Charity – Mark A. Schroeder - 1997
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES – Ondrej Rypacek - 2009
20 Algebra of logic programming – Silvija Seres - 1999
9 When is a function a fold or an unfold – Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch - 2001