Freyd is Kleisli, for arrows (2006)

by Bart Jacobs , Ichiro Hasuo
Venue:In C. McBride, T. Uustalu, Proc. of Wksh. on Mathematically Structured Programming, MSFP 2006, Electron. Wkshs. in Computing. BCS
Citations:4 - 2 self

Active Bibliography

12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
On the Semantics of Parsing Actions – Hayo Thielecke
CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
3 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
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
9 Monads Need Not Be Endofunctors – Thorsten Altenkirch, James Chapman, Tarmo Uustalu
iv TABLE OF CONTENTS – Ross Tate, Bobby Mcferrin - 2012
2 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
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
7 The arrow calculus – Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
5 Cartesian effect categories are Freyd-categories – Jean-guillaume Dumas, Dominique Duval, Jean-claude Reynaud - 2009
2 Causality For Free! Parametricity Implies Causality for Functional Reactive Programs – Alan Jeffrey
Traces for Coalgebraic Components – Ichiro Hasuo, Bart Jacobs - 2010
23 Categorical Models of Linear Logic Revisited – Paul-andré Melliès - 2003