{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T12:53:26Z","timestamp":1770296006807,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,30]],"date-time":"2005-09-30T00:00:00Z","timestamp":1128038400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,30]]},"DOI":"10.1145\/1088348.1088357","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"86-97","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["There and back again"],"prefix":"10.1145","author":[{"given":"Artem","family":"Alimarine","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]},{"given":"Sjaak","family":"Smetsers","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]},{"given":"Arjen","family":"van Weelden","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]},{"given":"Marko","family":"van Eekelen","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2005,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/647980.743392"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90042-C"},{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 2001 Haskell Workshop","author":"Courtney A.","year":"2001","unstructured":"A. Courtney and C. Elliott . Genuinely Functional User Interfaces . In Proceedings of the 2001 Haskell Workshop , September 2001 .]] A. Courtney and C. Elliott. Genuinely Functional User Interfaces. In Proceedings of the 2001 Haskell Workshop, September 2001.]]"},{"key":"e_1_3_2_1_4_1","first-page":"54","volume-title":"Program Construction","author":"Dijkstra E. W.","year":"1978","unstructured":"E. W. Dijkstra . Program inversion . In Program Construction , pages 54 -- 57 , 1978 .]] E. W. Dijkstra. Program inversion. In Program Construction, pages 54--57, 1978.]]"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040325"},{"key":"e_1_3_2_1_6_1","volume-title":"Derivation of deterministic inverse programs based on lr parsing. 2998:291--306","author":"Gl\u00fcck R.","year":"2004","unstructured":"R. Gl\u00fcck and M. Kawabe . Derivation of deterministic inverse programs based on lr parsing. 2998:291--306 , 2004 .]] R. Gl\u00fcck and M. Kawabe. Derivation of deterministic inverse programs based on lr parsing. 2998:291--306, 2004.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071221.1071222"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 2000 ACM SIGPLAN Haskell Workshop","author":"Hinze R.","year":"2001","unstructured":"R. Hinze and S. Peyton Jones . Derivable type classes . In G. Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop , volume 41 .1 of Electronic Notes in Theoretical Computer Science. Elsevier Science , Aug. 2001 . The preliminary proceedings appeared as a University of Nottingham technical report.]] R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, Aug. 2001. The preliminary proceedings appeared as a University of Nottingham technical report.]]"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","volume-title":"Advanced Functional Programming, 4th International School","author":"Hudak P.","year":"2003","unstructured":"P. Hudak , A. Courtney , H. Nilsson , and J. Peterson . Arrows, Robots, and Functional Reactive Programming . In J. Jeuring and S. Peyton Jones, editors, Advanced Functional Programming, 4th International School , volume 2638 of LNCS , Oxford, 2003 . Springer .]] P. Hudak, A. Courtney, H. Nilsson, and J. Peterson. Arrows, Robots, and Functional Reactive Programming. In J. Jeuring and S. Peyton Jones, editors, Advanced Functional Programming, 4th International School, volume 2638 of LNCS, Oxford, 2003. Springer.]]"},{"key":"e_1_3_2_1_10_1","unstructured":"P. Hudak J. Peterson and J. Fasel. A gentle introduction to Haskell 98. http:\/\/www.haskell.org\/tutorial\/ 1999.]]  P. Hudak J. Peterson and J. Fasel. A gentle introduction to Haskell 98. http:\/\/www.haskell.org\/tutorial\/ 1999.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_12_1","first-page":"273","volume-title":"Proceedings 8th European Symposium on Programming, ESOP'99","volume":"1576","author":"Jansson P.","year":"1999","unstructured":"P. Jansson and J. Jeuring . Polytypic compact printing and parsing. In S. D. Swierstra, editor , Proceedings 8th European Symposium on Programming, ESOP'99 , Amsterdam, The Netherlands , 22-28 March 1999 , volume 1576 , pages 273 -- 287 . Springer-Verlag, Berlin, 1999.]] P. Jansson and J. Jeuring. Polytypic compact printing and parsing. In S. D. Swierstra, editor, Proceedings 8th European Symposium on Programming, ESOP'99, Amsterdam, The Netherlands, 22-28 March 1999, volume 1576, pages 273--287. Springer-Verlag, Berlin, 1999.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(01)00020-X"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944719"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_16_1","first-page":"201","volume-title":"The Fun of Programming, A symposium in honour of Professor Richard Bird's 60th birthday","author":"Paterson R.","year":"2003","unstructured":"R. Paterson . Arrows and Computation. In J. Gibbons and O. de Moor, editors , The Fun of Programming, A symposium in honour of Professor Richard Bird's 60th birthday , pages 201 -- 222 , Oxford , 2003 . Palgrave.]] R. Paterson. Arrows and Computation. In J. Gibbons and O. de Moor, editors, The Fun of Programming, A symposium in honour of Professor Richard Bird's 60th birthday, pages 201--222, Oxford, 2003. Palgrave.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"et al. Report on the programming language Haskell 98","author":"Peyton Jones S.","year":"1999","unstructured":"S. Peyton Jones and Hughes J . et al. Report on the programming language Haskell 98 . University of Yale , 1999 . http:\/\/www.haskell.org\/definition\/.]] S. Peyton Jones and Hughes J. et al. Report on the programming language Haskell 98. University of Yale, 1999. http:\/\/www.haskell.org\/definition\/.]]"},{"key":"e_1_3_2_1_18_1","volume-title":"December","author":"Plasmeijer R.","year":"2001","unstructured":"R. Plasmeijer and M. van Eekelen . Concurrent CLEAN Language Report (version 2.0) , December 2001 . http:\/\/www.cs.ru.nl\/~clean\/.]] R. Plasmeijer and M. van Eekelen. Concurrent CLEAN Language Report (version 2.0), December 2001. http:\/\/www.cs.ru.nl\/~clean\/.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211087"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02880-3_8"}],"event":{"name":"Haskell05: Haskell Workshop 2005","location":"Tallinn Estonia","acronym":"Haskell05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2005 ACM SIGPLAN workshop on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1088348.1088357","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1088348.1088357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:44Z","timestamp":1750286624000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1088348.1088357"}},"subtitle":["arrows for invertible programming"],"short-title":[],"issued":{"date-parts":[[2005,9,30]]},"references-count":21,"alternative-id":["10.1145\/1088348.1088357","10.1145\/1088348"],"URL":"https:\/\/doi.org\/10.1145\/1088348.1088357","relation":{},"subject":[],"published":{"date-parts":[[2005,9,30]]},"assertion":[{"value":"2005-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}