There and back again: arrows for invertible programming

Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer. There and back again: arrows for invertible programming. In Daan Leijen, editor, Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005. pages 86-97, ACM, 2005. [doi]

Abstract

Abstract is missing.