Languages, Theory

Cached

Download Links

by Neil Ghani , Tarmo Uustalu

Active Bibliography

4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
4 Generalizing Substitution – Tarmo Uustalu - 2003
Substitution in non-wellfounded . . . – Ralph Matthes, Tarmo Uustalu - 2003
23 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
4 Modules over Monads and Linearity – André Hirschowitz, Marco Maggesi
5 Explicit Substitutions and Higher-Order Syntax (Extended Abstract) – Neil Ghani, Tarmo Uustalu - 2003
1 Abstract Modularity – Michael Abbott, Neil Ghani, Christoph Lüth - 2005
7 Monads and Modularity – Christoph Lüth, Neil Ghani
10 Countable Lawvere Theories and Computational Effects – John Power - 2006
3 A Framework for Typed HOAS and Semantics – Marino Miculan, Ivan Scagnetto - 2003
α-Conversion Is Easy – Thorsten Altenkirch
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
found at the ENTCS Macro Home Page. – Monads For Behaviour, Maciej Piróg, Jeremy Gibbons, Haskell Fragment
7 Coalgebraic Monads – Neil Ghani, Christoph Lüth, Federico De Marchi - 2002
6 Algebras, Coalgebras, Monads and Comonads – Neil Ghani, Christoph Lüth, Federico De Marchi, John Power - 2001
1 Dualizing Initial Algebras – Neil Ghani, Christoph Lüth, Federico de Marchi, John Power - 2002
2 The Recursion Scheme from the Cofree Recursive Comonad – Tarmo Uustalu, Varmo Vene
7 The category theoretic solution of recursive program schemes – Stefan Milius, Lawrence, S. Moss - 2006
9 Recursive coalgebras from comonads – Venanzio Capretta, Tarmo Uustalu, Varmo Vene - 2006