Arrows, like monads, are monoids (2006)

by Chris Heunen , Bart Jacobs
Venue:Proc. of 22nd Ann. Conf. on Mathematical Foundations of Programming Semantics, MFPS XXII, v. 158 of Electron. Notes in Theoret. Comput. Sci
Citations:12 - 1 self

Active Bibliography

4 Freyd is Kleisli, for arrows – Bart Jacobs, Ichiro Hasuo - 2006
unknown title – Idioms Are Oblivious, Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
unknown title – Idioms Are Oblivious, Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
2 Axiomatics for Data Refinement in Call By Value Programming Languages – John Power, Miki Tanaka
On the Semantics of Parsing Actions – Hayo Thielecke
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
8 There and back again: arrows for invertible programming – Artem Alimarine, Sjaak Smetsers, Arjen Weelden, Marko Eekelen, Rinus Plasmeijer - 2006
Fixing Idioms A recursion primitive for applicative DSLs – Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
7 The arrow calculus – Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
68 Applicative programming with effects – Conor Mcbride, Ross Paterson
3 Categorical Views on Computations on Trees (Extended Abstract) – Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
Isomorphic Data Encodings and their Generalization to Hylomorphisms on Hereditarily Finite Data Types – Paul Tarau
Isomorphic Data Encodings in Haskell and their Generalization to Hylomorphisms on Hereditarily Finite Data Types – Paul Tarau - 808
12 The Structure of Call-by-Value – Carsten Führmann - 2000
1 A Notation for Comonads – Dominic Orchard, Alan Mycroft