Invertible syntax descriptions: Unifying parsing and pretty printing

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2010, Pages 1-12

  Rendel, Tillmann ^a   Ostermann, Klaus ^a  

^a PHILIPPS UNIVERSITY MARBURG   (Germany)

Author keywords

embedded domain specific languages; invertible computation; parser combinators; pretty printing

Indexed keywords

ABSTRACT SYNTAX; EMBEDDED DOMAIN SPECIFIC LANGUAGES; INVERTIBLE COMPUTATION; PARSER COMBINATORS; PRETTY PRINTING; PROGRAMMING TECHNIQUE;

PRINTERS (COMPUTER); PRINTING; PRINTING PRESSES; SYNTACTICS;

XML;

EID: 78249265326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1863523.1863525     Document Type: Conference Paper

References (23)

1. Sergei Abramov and Robert Glück. Principles of inverse computation and the universal resolving algorithm. In The essence of computation: complexity, analysis, transformation, pages 269-295. Springer LNCS 2566, New York, 2002.
2. Artem Alimarine, Sjaak Smetsers, Arjen vanWeelden, Marko van Eekelen, and Rinus Plasmeijer. There and back again: arrows for invertible programming. In Proceedings of the workshop on Haskell (Haskell '05), pages 86-97, New York, 2005.
3. Kenichi Asai. On typing delimited continuations: three new solutions to the printf problem. Higher-Order and Symbolic Computation, 22(3): 275-291, September 2009.
4. Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. Dual syntax for XML languages. Information Systems, 33(4-5):385-406, 2008.
5. Olivier Danvy. Functional unparsing. Journal of Functional Programming, 8(6):621-625, 1998.
6. Olivier Danvy. From reduction-based to reduction-free normalization. In Advanced Functional Programming, pages 66-164. Springer LNCS 5832, 2008.
7. J. Fokker. Functional parsers. In J.T. Jeuring and H.J.M. Meijer, editors, Advanced Functional Programming, First International Spring School, number 925 in LNCS, pages 1-23, 1995.
8. J. Nathan Foster, Alexandre Pilkiewicz, and Benjamin C. Pierce. Quotient lenses. In Proceeding of the International Conference on Functional Programming (ICFP '08), pages 383-396, New York, 2008.
9. Nathan J. Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. Combinators for bi-directional tree transformations: A linguistic approach to the view update problem. In Proceedings of the symposium on Principles of Programming Languages (POPL '05), pages 233-246, New York, 2005.
10. Ralf Hinze. Formatting: a class act. Journal of Functional Programming, 13(5):935-944, 2003.
11. Christian Hofer, Klaus Ostermann, Tillmann Rendel, and Adriaan Moors. Polymorphic embedding of DSLs. In Proceedings of the Conference on Generative Programming and Component Engineering (GPCE '08), pages 137-148, New York, October 2008.
12. John Hughes. The Design of a Pretty-printing Library. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, pages 53-96. Springer LNCS 925, 1995.
13. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
14. Graham Hutton and Erik Meijer. Monadic parsing in Haskell. Journal of Functional Programming, 8(4):437-444, 1998.
15. Patrik Jansson and Johan Jeuring. Polytypic compact printing and parsing. In European Symposium on Programming, pages 273-287. Springer LNCS 1576, 1999.
16. Patrik Jansson and Johan Jeuring. Polytypic data conversion programs. Science of Computer Programming, 43(1):35-75, 2002.
17. Oleg Kiselyov. Type-safe functional formatted IO. Available at http://okmij.org/ftp/typed-formatting/, 2008.
18. Edward A. Kmett. category extras: Various modules and constructs inspired by category theory. Available at http://hackage.haskell.org/package/category- extras, 2008.
19. Daan Leijen and Erik Meijer. Parsec: Direct style monadic parser combinators for the real world. Technical Report UU-CS-2001-27, Department of Computer Science, Universiteit Utrecht, 2001.
20. Conor McBride and Ross Paterson. Applicative programming with effects. Journal of Functional Programming, 18(1):1-13, 2008.
21. Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi. An injective language for reversible computation. In Proceedings of the International Conference on Mathematics of Program Construction (MPC '04). Springer Verlag, 2004.
22. Nicolas Oury and Wouter Swierstra. The power of pi. In Proceedings of the International Conference on Functional Programming (ICFP '08), pages 39-50, New York, 2008.
23. Tim Sheard and Simon Peyton Jones. Template meta-programming for Haskell. SIGPLAN Not., 37(12):60-75, 2002.