|
10
|
Arrows, like monads, are monoids
– Chris Heunen, Bart Jacobs
- 2006
|
|
12
|
The essence of dataflow programming
– Tarmo Uustalu, Varmo Vene
- 2005
|
|
1
|
Categorical Views on Computations on Trees (Extended Abstract)
– Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
|
|
2
|
The essence of dataflow programming (short version
– 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
|
|
6
|
Monads Need Not Be Endofunctors
– Thorsten Altenkirch, James Chapman, Tarmo Uustalu
|
|
1
|
Monad Transformers as Monoid Transformers
– Mauro Jaskelioff
|
|
2
|
Axiomatics for Data Refinement in Call By Value Programming Languages
– John Power, Miki Tanaka
|
|
7
|
Semantics of value recursion for monadic input/output
– Levent Erkök, John Launchbury, Andrew Moran
- 2002
|
|
5
|
The arrow calculus
– Sam Lindley, Philip Wadler, Jeremy Yallop
- 2008
|
|
5
|
Traced Premonoidal Categories
– Nick Benton, Martin Hyland
- 1999
|
|
1
|
Cartesian effect categories are Freyd-categories
– Jean-guillaume Dumas, Dominique Duval, Jean-claude Reynaud
- 2009
|
|
|
Traces for Coalgebraic Components
– Ichiro Hasuo, Bart Jacobs
- 2010
|
|
23
|
Categorical Models of Linear Logic Revisited
– Paul-andré Melliès
- 2003
|
|
|
Towards a Categorical Axiomatics of Bisimulation
– Gian Luca Cattani, A. John Power, Glynn Winskel
- 1999
|
|
5
|
Coalgebraic Components in a Many-Sorted Microcosm
– Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
|
|
10
|
Modelling environments in call-by-value programming languages
– Paul Blain Levy, John Power, Hayo Thielecke
- 2003
|
|
3
|
Gradual Refinement Blending Pattern Matching with Data Abstraction
– Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
|
|
9
|
Representations of stream processors using nested fixed points
– Peter Hancock, Dirk Pattinson, Neil Ghani
|
