Advertisement

Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators

  • Wolfram Kahl
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1551)

Abstract

Galleys have been introduced by Jeff Kingston as one of the key concepts underlying his advanced document formatting system Lout. Although Lout is built on a lazy functional programming language, galley concepts are implemented as part of that language and defined only informally.

In this paper we present a first formalisation of document formatting combinators using galley concepts in the purely functional programming language Haskell.

Keywords

Document Format Recursive Call Functional Programming Cross Reference Receptive Symbol 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Pablo R. Azero, S. Doaitse Swierstra. Optimal Pretty-Printing Combinators, 1998. URL http://www.cs.ruu.nl/groups/ST/Software/PP/.
  2. 2.
    John Hughes. Pretty-printing: An Exercise in Functional Programming. In R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.), Mathematics of Program Construction, pages 11–13. LNCS 669. Springer-Verlag, 1992.Google Scholar
  3. 3.
    John Hughes. The Design of a Pretty-printing Library. In J. Jeuring, E. Meijer (eds.), Advanced Functional Programming, pages 53–96. LNCS. Springer-Verlag, 1995.Google Scholar
  4. 4.
    Wolfram Kahl. The Higher Object Programming System — User Manual for HOPS, Fakultät für Informatik, Universität der Bundeswehr München, February 1998. URL http://diogenes.informatik.unibw-muenchen.de:8080/kahl/HOPS/.
  5. 5.
    Wolfram Kahl. Internally Typed Second-Order Term Graphs. In J. Hromkovic, O. Sýkora (eds.), Graph Theoretic Concepts in Computer Science, WG’ 98, pages 149–163. LNCS 1517. Springer-Verlag, 1998.Google Scholar
  6. 6.
    Jeffrey H. Kingston. The design and implementation of the Lout document formatting language. Software — Practice and Experience 23, 1001–1041 (1993).CrossRefGoogle Scholar
  7. 7.
    Jeffrey H. Kingston. An Expert’s Guide to the Lout Document Formatting System (Version 3). Basser Department of Computer Science, University of Sydney, 1995.Google Scholar
  8. 8.
    Jeffrey H. Kingston. A User’s Guide to the Lout Document Formatting System (Version 3.12). Basser Department of Computer Science, University of Sydney. ISBN 0 86758 951 5, 1998. URL ftp://ftp.cs.su.oz.au/jeff/lout.
  9. 9.
    Donald E. Knuth. The TEXBook Addison-Wesley, 1984.Google Scholar
  10. 10.
    Simon Peyton Jones. A Pretty Printer Library in Haskell, Version 3.0, 1997. URL http://www.dcs.gla.ac.uk/~simonpj/pretty.html.
  11. 11.
    Philip Wadler. A Prettier Printer, 1998. URL http://cm.bell-labs.com/cm/cs/who/wadler/papers/prettier/. Draft paper
  12. 12.
    Ross N. Williams. FunnelWeb User’s Manual, May 1992. URL http://www.ross.net/funnelweb/introduction.html. Part of the FunnelWeb distribution

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Wolfram Kahl
    • 1
  1. 1.Institut für Softwaretechnologie, Fakultät für InformatikUniversität der Bundeswehr MünchenNeubibergGermany

Personalised recommendations