|
89
|
Premonoidal Categories and Notions of Computation
– John Power, Edmund Robinson
- 1995
|
|
40
|
A new notation for arrows
– Ross Paterson
- 2001
|
|
5
|
Environments, Continuation Semantics and Indexed Categories
– John Power, Hayo Thielecke
- 1997
|
|
816
|
Categories for the Working Mathematician
– S Mac Lane
- 1998
|
|
133
|
Generalising Monads to Arrows
– John Hughes
- 1998
|
|
12
|
Arrows and computation
– Ross Paterson
- 2003
|
|
11
|
The essence of dataflow programming
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
5
|
There and back again: arrows for invertible programming
– Artem Alimarine, Sjaak Smetsers, Arjen Weelden, Marko Eekelen, Rinus Plasmeijer
- 2006
|
|
23
|
Polytypic Data Conversion Programs
– Patrik Jansson, Johan Jeuring
- 2001
|
|
109
|
The formal theory of monads
– R Street
- 1972
|
|
2
|
The essence of dataflow programming (short version
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
10
|
Arrows, like monads, are monoids
– Chris Heunen, Bart Jacobs
- 2006
|
|
25
|
Generalising monads to arrows, Science of Computer Programming 37
– J Hughes
- 1998
|
|
56
|
Abelian Categories: An Introduction to the Theory of Functors
– P J Freyd
- 1964
|
|
89
|
Categorical logic and type theory
– B Jacobs
- 1999
|
|
52
|
Deterministic, Error-Correcting Combinator Parsers
– S. Doaitse Swierstra, Luc Duponcheel
- 1996
|
|
7
|
The Dual of Substitution is Redecoration
– Tarmo Uustalu, Varmo Vene
- 2002
|
|
4
|
Solving stream equation systems
– B Barbier
- 2002
|
|
9
|
Generic Accumulations
– Alberto Pardo
- 2002
|
