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)


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.


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Pablo R. Azero, S. Doaitse Swierstra. Optimal Pretty-Printing Combinators, 1998. URL
  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
  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
  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
  11. 11.
    Philip Wadler. A Prettier Printer, 1998. URL Draft paper
  12. 12.
    Ross N. Williams. FunnelWeb User’s Manual, May 1992. URL 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