Artem Alimarine Sjaak Smetsers Arjen van Weelden Marko C. J. D. van Eekelen Rinus Plasmeijer There and back again: arrows for invertible programming. 86-97 2005 conf/haskell/2005 Haskell http://doi.acm.org/10.1145/1088348.1088357 db/conf/haskell/haskell2005.html#AlimarineSWEP05