There and back again: arrows for invertible programming Export

@inproceedings{citeulike:342287, abstract = {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 (bi-arrows). 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 bi-arrow combinators. Programming with bi-arrows in a polytypic or generic way exploits this the most. Besides bidirectional polytypic examples, including invertible serialization, we give the definition of a monadic bi-arrow transformer, which we use to construct a bidirectional parser/pretty printer.}, address = {New York, NY, USA}, author = {Alimarine, Artem and Smetsers, Sjaak and van Weelden, Arjen and van Eekelen, Marko and Plasmeijer, Rinus}, booktitle = {Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell}, citeulike-article-id = {342287}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1088348.1088357}, citeulike-linkout-1 = {http://dx.doi.org/10.1145/1088348.1088357}, citeulike-linkout-2 = {http://citeseer.ist.psu.edu/745681.html}, doi = {10.1145/1088348.1088357}, isbn = {159593071X}, keywords = {arrows, bidirectional-programming}, pages = {86--97}, posted-at = {2006-07-17 18:40:46}, priority = {0}, publisher = {ACM Press}, title = {There and back again: arrows for invertible programming}, url = {http://dx.doi.org/10.1145/1088348.1088357}, year = {2005} }

TY - CONF ID - citeulike:342287 L3 - citeulike-article-id:342287 N2 - 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 (bi-arrows). 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 bi-arrow combinators. Programming with bi-arrows in a polytypic or generic way exploits this the most. Besides bidirectional polytypic examples, including invertible serialization, we give the definition of a monadic bi-arrow transformer, which we use to construct a bidirectional parser/pretty printer. SN - 159593071X AD - New York, NY, USA EP - 97 TI - There and back again: arrows for invertible programming PB - ACM Press T2 - Haskell '05: Proceedings of the 2005 ACM SIGPLAN workshop on Haskell SP - 86 KW - arrows KW - bidirectional-programming AU - Alimarine, Artem AU - Smetsers, Sjaak AU - van Weelden, Arjen AU - van Eekelen, Marko AU - Plasmeijer, Rinus PY - 2005/// UR - http://dx.doi.org/10.1145/1088348.1088357 ER -