Comonadic functional attribute evaluation

Cached

Download Links

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

Documents Related by Co-Citation

18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
7 The Dual of Substitution is Redecoration – Tarmo Uustalu, Varmo Vene - 2002
3 Minimal Realization in Bicategories of Automata – Robert Rosebrugh, N. Sabadini, R. F. C. Walters - 1998
4 Freyd is Kleisli, for arrows – Bart Jacobs, Ichiro Hasuo - 2006
39 Generalized sequential machine maps – J W Thatcher - 2004
11 Minimal realization of machines in closed categories – J GOGUEN - 1972
26 Bottom-up and top-down tree transformations—A comparison – Joost Engelfriet - 1975
149 Tree automata techniques and applications – Hubert Comon, Max Dauchet, Florent Jacquemard, Denis Lugiez, Sophie Tison, Marc Tommasi - 1997
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
119 Mappings and grammars on trees – W Rounds - 1970
112 Categorical Logic and Type Theory – B Jacobs - 1999
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
159 Generalising Monads to Arrows – John Hughes - 1998
36 The derivative of a regular type is its type of one-hole contexts (extended abstract), 2001. Unpublished manuscript, available via http://strictlypositive.org/diff.pdf. Conor McBride and Ross Paterson. Applicative programming with effects – Conor Mcbride
12 Notions of computation and monads. Information and computation 93(1 – E Moggi - 1991
3 Monads for functional programming. Advanced Functional Programming – P Wadler - 1995
3 V.: Comonadic Notions of Computation. Electron – T Uustalu, Vene - 2008
5 Ypnos: Declarative, Parallel Structured Grid Programming – Dominic A. Orchard, Max Bolingbroke, Alan Mycroft - 2010
1 Programming contextual computations (2013) Forthcoming PhD dissertation, http://www.cl.cam.ac.uk/techreports – D Orchard