The Dual of Substitution is Redecoration (2002)

Cached

Download Links

by Tarmo Uustalu , Varmo Vene
Citations:7 - 3 self

Documents Related by Co-Citation

500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
1318 Monads for functional programming – Philip Wadler - 1995
734 Notions of Computation and Monads – Eugenio Moggi - 1991
22 Recursion schemes from comonads – T Uustalu, V Vene, A Pardo - 2001
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
482 Interactive Theorem Proving and Program Development – Y, P Casteran - 2004
164 Generalising Monads to Arrows – John Hughes - 1998
302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
100 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995