A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
There and back again
2005
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell - Haskell '05
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce bidirectional arrows (biarrows). The bi-arrow class is an extension of Haskell's arrow class with an extra combinator that changes the direction of computation. The advantage of the use of bi-arrows for invertible programming is the preservation of invertibility properties using the biarrow combinators. Programming
doi:10.1145/1088348.1088357
dblp:conf/haskell/AlimarineSWEP05
fatcat:pwgadknw2faxvjn3b23gyb27cm