There and back again: arrows for invertible programming

There and back again: arrows for invertible programming (2006)

by Artem Alimarine , Sjaak Smetsers , Arjen Weelden , Marko Eekelen , Rinus Plasmeijer

Venue:	In Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Citations:	5 - 0 self

816	Categories for the Working Mathematician – S Mac Lane - 1998
5	Signals and comonads – Tarmo Uustalu, Varmo Vene - 2005
5	Environments, Continuation Semantics and Indexed Categories – John Power, Hayo Thielecke - 1997
11	The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
40	A new notation for arrows – Ross Paterson - 2001
89	Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
23	Polytypic Data Conversion Programs – Patrik Jansson, Johan Jeuring - 2001
12	Arrows and computation – Ross Paterson - 2003
133	Generalising Monads to Arrows – John Hughes - 1998
119	Views: A way for pattern matching to cohabit with data abstraction – Philip Wadler - 1986
25	Generalising monads to arrows, Science of Computer Programming 37 – J Hughes - 1998
2	The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
1	Handbook of Categorical Algebra, vols. 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ – F Borceux - 1994
18	Handbook of Categorical Algebra, volume 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ – F Borceux - 1994
10	Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
4	Combining a monad and a comonad, Theor – J Power, H Watanabe - 2002
109	The formal theory of monads – R Street - 1972
12	Non-Trivial Computations in Proof Planning – V Sorge - 2000
3	An interactive mathematics server – WIMS - 2001