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

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