|
89
|
Premonoidal Categories and Notions of Computation
– John Power, Edmund Robinson
- 1995
|
|
89
|
Categorical logic and type theory
– B Jacobs
- 1999
|
|
7
|
The Dual of Substitution is Redecoration
– Tarmo Uustalu, Varmo Vene
- 2002
|
|
10
|
Arrows, like monads, are monoids
– Chris Heunen, Bart Jacobs
- 2006
|
|
133
|
Generalising Monads to Arrows
– John Hughes
- 1998
|
|
5
|
Signals and comonads
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
3
|
Minimal Realization in Bicategories of Automata
– Robert Rosebrugh, N. Sabadini, R. F. C. Walters
- 1998
|
|
1
|
Comonadic functional attribute evaluation
– Tarmo Uustalu, Varmo Vene
|
|
39
|
Generalized sequential machine maps
– J W Thatcher
- 2004
|
|
25
|
Bottom-Up and Top-Down Tree Transformations|A Comparison
– J Engelfriet
- 1975
|
|
108
|
Mappings and grammars on trees
– William C Rounds
- 1970
|
|
10
|
Minimal realization of machines in closed categories
– J Goguen
- 1972
|
|
123
|
Tree automata techniques and applications
– Hubert Comon, Max Dauchet, Florent Jacquemard, Denis Lugiez, Sophie Tison, Marc Tommasi
- 1997
|
|
12
|
The essence of dataflow programming
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
3
|
Time Horizons in Budgeting
– Daniel Tarschys
- 2002
|
|
16
|
Advanced functional programming
– J Hughes
- 2005
|
|
2
|
Distributors at work. Lecture notes written by Thomas Streicher
– J Bénabou
- 2000
|
|
5
|
Environments, Continuation Semantics and Indexed Categories
– John Power, Hayo Thielecke
- 1997
|
|
3
|
A new notation for arrows. Pages 229–240 of: International conference on functional programming
– R Paterson
- 2001
|
