Generalizing Substitution (2003)

by Tarmo Uustalu
Citations:4 - 1 self

Active Bibliography

3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
Languages, Theory – Neil Ghani, Tarmo Uustalu
7 The category theoretic solution of recursive program schemes – Stefan Milius, Lawrence, S. Moss - 2006
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
5 Explicit Substitutions and Higher-Order Syntax (Extended Abstract) – Neil Ghani, Tarmo Uustalu - 2003
9 Recursive coalgebras from comonads – Venanzio Capretta, Tarmo Uustalu, Varmo Vene - 2006
found at the ENTCS Macro Home Page. – Monads For Behaviour, Maciej Piróg, Jeremy Gibbons, Haskell Fragment
4 Build, augment and destroy. Universally – Neil Ghani, Tarmo Uustalu, Varmo Vene - 2004
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
1 An Alpha-Corecursion Principle for the Infinitary Lambda Calculus – Er Kurz, Paula Severi, Fer-jan De Vries
Nominal Coalgebraic Data Types . . . – Alexander Kurz, Paula Severi, Fer-jan De Vries, et al.
2 Recursion Schemes for Dynamic Programming – Jevgeni Kabanov, Varmo Vene
2 The Recursion Scheme from the Cofree Recursive Comonad – Tarmo Uustalu, Varmo Vene
3 ELGOT ALGEBRAS † – Ji ˇ Rí Adámek, Stefan Milius, Ji, Rí Velebil - 2006
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005