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

Documents Related by Co-Citation

159 Generalising Monads to Arrows – John Hughes - 1998
99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
730 Notions of Computation and Monads – Eugenio Moggi - 1991
1312 Monads for functional programming – Philip Wadler - 1995
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
15 Functional programming and operating systems – S B Jones, A F Sinclair - 1989
20 Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language – Andrew Moran, David Sands, Magnus Carlsson - 2003
105 Functional Programming and Input/Output – Andrew D Gordon - 1993
24 OS6 — An experimental operating system for a small computer. Part 2: Input/output and filing system – J E Stoy, Christopher Strachey - 1972
13 A term calculus for (co-)recursive definitions on streamlike data structures – W Buchholz - 2005
47 Arrows, Robots, and Functional Reactive Programming – Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson - 2002
15 Ensuring Streams Flow – Alastair Telford, David Turner - 1997
126 A correspondence between ALGOL 60 and Church’s lambda notation – P J Landin - 1965
134 Elements of Intuitionism – M Dummett - 1977
48 A new notation for arrows – Ross Paterson - 2001
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
68 Applicative programming with effects – Conor Mcbride, Ross Paterson
29 Total Functional Programming – David Turner - 2004
43 Categories for the Working Mathematician. Number 5 – S Mac Lane - 1971