Explicit Substitutions and Higher-Order Syntax (Extended Abstract) (2003)

Cached

Download Links

by Neil Ghani , Tarmo Uustalu
Venue:in Proc. of 2nd ACM SIGPLAN Wksh. on Mechanized Reasoning about Languages with Variable Binding, MERLIN'03
Citations:5 - 3 self

Active Bibliography

4 Generalizing Substitution – Tarmo Uustalu - 2003
Languages, Theory – Neil Ghani, Tarmo Uustalu
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
9 Recursive coalgebras from comonads – Venanzio Capretta, Tarmo Uustalu, Varmo Vene - 2006
3 ELGOT ALGEBRAS † – Ji ˇ Rí Adámek, Stefan Milius, Ji, Rí Velebil - 2006
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
Kleene Coalgebra – an overview – Ra Silva, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde
A Sound and complete axiomatisations of coalgebraic language equivalence – Marcello M. Bonsangue, Advanced Computer Science, Stefan Milius, Technische Universität Braunschweig, Alexandra Silva
15 Non-Deterministic Kleene Coalgebras – Alexandra Silva, Marcello Bonsangue, Jan Rutten
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
CMCS 2008 Comonadic Notions of Computation – Tarmo Uustalu, Varmo Vene
2 Coalgebraic semantics for logic programming – Zoran Majkić - 2004
3 On iterable endofunctors – Stefan Milius - 2003
5 Signals and comonads – Tarmo Uustalu, Varmo Vene - 2005
FINAL COALGEBRAS IN ACCESSIBLE CATEGORIES – Panagis Karazeris, Apostolos Matzaris, Jiˇrí Velebil - 905
Monad Combinators, Non-Determinism and Probabilistic Choice [Extended abstract] – Neil Ghani, Tarmo Uustalu
2 The Recursion Scheme from the Cofree Recursive Comonad – Tarmo Uustalu, Varmo Vene
12 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs