Comonadic functional attribute evaluation

Cached

Download Links

by Tarmo Uustalu , Varmo Vene
Venue:Trends in Functional Programming
Citations:2 - 1 self

Active Bibliography

Domain-Specific Embedded Languages – Kevin Backhouse - 2002
Chapter 10 Comonadic functional – Tarmo Uustalu, Varmo Vene
First-Class – Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop, Marcos Viera, S. Doaitse Swierstra, Arie Middelkoop - 2011
41 Forwarding in attribute grammars for modular language design – Eric Van Wyk, Oege De Moor, Kevin Backhouse, Paul Kwiatkowski - 2002
2 When Is a Container a Comonad? – Danel Ahman, James Chapman, Tarmo Uustalu
Accumulating Attributes for Doaitse Swierstra, on his retirement – Jeremy Gibbons
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
7 The Dual of Substitution is Redecoration – Tarmo Uustalu, Varmo Vene - 2002
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
5 Signals and comonads – Tarmo Uustalu, Varmo Vene - 2005
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
Should I use a Monad or a Comonad? Draft – Last updated June 16, 2012 – Dominic Orchard
1 Semantics and Compilation of Recursive Sequential Streams in 8 1/2 – Jean-Louis Giavitto, Dominique De Vito, Olivier Michel - 1997
18 A Co-iterative Characterization of Synchronous Stream Functions – Paul Caspi, Marc Pouzet - 1997
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
Polyvariant Strictness Analysis in UHC M.Sc. Thesis – Augusto Passalaqua Martins, Dr. Jurriaan Hage
2 Functional programming with structured graphs – Bruno C. D. S. Oliveira, William R. Cook - 2012