Primitive (co)recursion and course-of-values (co)iteration, categorically (1999)

by Tarmo Uustalu , Varmo Vene
Venue:Informatica
Citations:13 - 6 self

Active Bibliography

10 Functional programming with apomorphisms (corecursion – Varmo Vene, Tarmo Uustalub - 1998
Least and Greatest Fixed Points in Intuitionistic Natural Deduction – Tarmo Uustalu, Varmo Vene - 2002
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
3 Recursion Schemes for Dynamic Programming – Jevgeni Kabanov, Varmo Vene
4 Coding Recursion a la Mendler (Extended Abstract) – Tarmo Uustalu, Varmo Vene - 2000
Comonadic Iteration – Tarmo Uustalu, Varmo Vene, Alberto Pardo
22 Recursion Schemes from Comonads – Tarmo Uustalu, Varmo Vene, Alberto Pardo - 2001
9 When is a function a fold or an unfold – Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch - 2001
1 Category Theory as Coherently Constructive Lattice Theory – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1998
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
14 From Dynamic Programming to Greedy Algorithms – Richard Bird, Oege De Moor - 1992
6 Categorical Fixed Point Calculus – Roland Backhouse, Marcel Bijsterveld, Rik van Geldrop, Jaap Van Der Woude - 1995
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
23 Warm Fusion in Stratego: A Case Study in Generation of Program Transformation Systems – Patricia Johann, Eelco Visser - 2000
29 General recursion via coinductive types – Venanzio Capretta
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
9 Generic Programming With Relations and Functors – Richard Bird, Oege De Moor, Paul Hoogendijk - 1999
1 Accumulating Attributes for Doaitse Swierstra, on his retirement – Jeremy Gibbons
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995