There and back again: arrows for invertible programming.

Artem Alimarine, Sjaak Smetsers, Arjen van Weelden, Marko C. J. D. van Eekelen, Rinus Plasmeijer

Browse the full HASKELL paper archive.