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

Cached

Download Links

by Artem Alimarine , Sjaak Smetsers , Arjen Weelden , Marko Eekelen , Rinus Plasmeijer
Venue:In Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Citations:8 - 0 self

Active Bibliography

1 Polytypic syntax tree operations – Arjen Van Weelden, Sjaak Smetsers, Rinus Plasmeijer
Causal commutative arrows – Hai Liu, Eric Cheng, Paul Hudak
7 The arrow calculus – Sam Lindley, Philip Wadler, Jeremy Yallop - 2008
1 An Arrow Based Semantics for Interactive Applications – Peter Achten, Marko Van Eekelen, Maarten De Mol, Rinus Plasmeijer
Virtualizing Real-World Objects in FRP – Daniel Winograd-cort, Hai Liu, Paul Hudak - 2011
3 TOWARDS SAFE AND EFFICIENT FUNCTIONAL REACTIVE PROGRAMMING – Neil Sculthorpe - 2011
13 The Implementation of iData - A Case Study in Generic Programming – Rinus Plasmeijer, Peter Achten - 2005
17 iData For The World Wide Web - Programming Interconnected Web Forms – Rinus Plasmeijer, Peter Achten - 2006
4 GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications – Peter Achten, Marko van Eekelen, Rinus Plasmeijer, Arjen Van Weelden - 2005
7 Traced Premonoidal Categories – Nick Benton, Martin Hyland - 1999
2 The essence of dataflow programming (short version – Tarmo Uustalu, Varmo Vene - 2005
18 The essence of dataflow programming – Tarmo Uustalu, Varmo Vene - 2005
22 The Universal Resolving Algorithm: Inverse Computation in a Functional Language – Sergei Abramov, Robert Glück - 2000
12 Arrows, like monads, are monoids – Chris Heunen, Bart Jacobs - 2006
9 The Effects of – Roshan P. James, Amr Sabry - 1997
15 Scripting XML with Generic Haskell – Frank Atanassow, Dave Clarke, Johan Jeuring - 2003
35 Encoding information flow in Haskell – Peng Li - 2006
14 Comparing approaches to generic programming in Haskell – Ralf Hinze, Johan Jeuring, Andres Löh - 2006
4 Freyd is Kleisli, for arrows – Bart Jacobs, Ichiro Hasuo - 2006