There and back again arrows for invertible programming

Haskell'05 - Proceedings of the ACM SIGPLAN 2005 Haskell Workshop

Volumn , Issue , 2005, Pages 86-97

  Alimarine, Artem ^a   Smetsers, Sjaak ^a   Van Weelden, Arjen ^a   Van Eekelen, Marke ^a   Plasmeijer, Rinus ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Arrows; Haskell; Invertible program construction; Polytypic programming

Indexed keywords

ELECTRIC TRANSFORMERS; PRINTERS (COMPUTER);

ARROWS; INVERTIBLE PROGRAM CONSTRUCTION; POLYTYPIC PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 32144433864     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1088348.1088357     Document Type: Conference Paper

References (22)

1. A. Alimarine and R. Plasmeijer. A Generic programming extension for Clean. In T. Arts and M. Mohnen, editors, The 13th International workshop on the Implementation of Functional Languages, IFL'01, Selected Papers, pages 168-186. Älvsjö, Sweden, Sept. 2002.
2. W. Chen and J. T. Udding. Program inversion: more than fun! Sci. Comput. Program., 15(1):1-13, 1990.
3. A. Courtney and C. Elliott. Genuinely Functional User Interfaces. In Proceedings of the 2001 Haskell Workshop, September 2001.
4. E. W. Dijkstra. Program inversion. In Program Construction, pages 54-57, 1978.
5. J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. Combinators for bi-directional tree transformations: A linguistic approach to the view update problem. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Long Beach, California, 2005. Extended version available as University of Pennsylvania technical report MS-CIS-03-08.
6. Earlier version presented at the Workshop on Programming Language Technologies for XML (PLAN-X), 2004.
7. R. Glück and M. Kawabe. Derivation of deterministic inverse programs based on Ir parsing. 2998:291-306, 2004.
8. R. Glück and M. Kawabe. Revisiting an automatic program inverter for lisp, volume 40, pages 8-17, New York, 2005. ACM Press.
9. 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.
10. 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.
11. P. Hudak, J. Peterson, and J. Fasel. A gentle introduction to Haskell 98. http://www.haskell.org/tutorial/, 1999.
12. J. Hughes, Generalising monads to arrows. Science of Computer Programming, 37(1-3):67-111, 2000.
13. 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.
14. P. Jansson and J. Jeuring. Polytypic data conversion programs. Science of Computer Programming, 43(1):35-75, 2002.
15. A. Loh, D. Clarke, and J. Jeuring. Dependency-style Generic Haskell. In Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming (ICFP'03), pages 141-152. ACM Press, 2003.
16. R. Paterson. A new notation for arrows. In International Conference on Functional Programming, pages 229-240. ACM Press, Sept. 2001.
17. 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.
18. S. Peyton Jones and Hughes J. et al. Report on the programming language Haskell 98. University of Yale, 1999. http://www.haskell.org/definition/.
19. R. Plasmeijer and M. van Eekelen. Concurrent CLEAN Language Report (version 2.0), December 2001. http://www.cs.ru.nl/~clean/.
20. B. Ross. Running programs backwards: the logical inversion of imperative computation. Formal Aspects of Computing Journal, 9:331-348, 1997.
21. Z. H. S-C. Mu and M. Takeichi. An algebraic approach to bidirectional updating. In The Second Asian Symposium on Programming Language and Systems, volume 3302 of LNCS, pages 2-18. Springer, 2004.
22. P. Wadler. Monads for functional programming. In M. Broy, editor, Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School. Springer-Verlag, 1993.