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:4 - 3 self

Active Bibliography

Languages, Theory – Neil Ghani, Tarmo Uustalu
3 Generalizing Substitution – Tarmo Uustalu - 2003
3 Relating Two Approaches to Coinductive Solution of Recursive Equations – Bart Jacobs - 2004
6 Recursive coalgebras from comonads – Venanzio Capretta, Tarmo Uustalu, Varmo Vene - 2006
2 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
Kleene Coalgebra – an overview – Ra Silva, Marcello Bonsangue, Jan Rutten, Centrum Wiskunde
10 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
1 The Recursion Scheme from the Cofree Recursive Comonad – 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
4 On coalgebra based on classes – Stefan Milius, Jiˇrí Velebil - 2004
11 Context-free languages via coalgebraic trace semantics – Ichiro Hasuo, Bart Jacobs - 2005
3 On covarietes of coalgebras – Ji ˇ Rí Adámek
FINAL COALGEBRAS IN ACCESSIBLE CATEGORIES – Panagis Karazeris, Apostolos Matzaris, Jiˇrí Velebil - 905
11 Distributive laws for the coinductive solution of recursive equations – Bart Jacobs
12 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005