R.: There and back again: arrows for invertible programming (2005)

by A Alimarine, S Smetsers, A van Weelden, M van Eekelen, Plasmeijer
Venue:In: Haskell ’05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell