Skip to main content

Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1551))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Pablo R. Azero, S. Doaitse Swierstra. Optimal Pretty-Printing Combinators, 1998. URL http://www.cs.ruu.nl/groups/ST/Software/PP/.

  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. 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. 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. 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. Jeffrey H. Kingston. The design and implementation of the Lout document formatting language. Software — Practice and Experience 23, 1001–1041 (1993).

    Article  Google Scholar 

  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. 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. Donald E. Knuth. The TEXBook Addison-Wesley, 1984.

    Google Scholar 

  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. Philip Wadler. A Prettier Printer, 1998. URL http://cm.bell-labs.com/cm/cs/who/wadler/papers/prettier/. Draft paper

  12. Ross N. Williams. FunnelWeb User’s Manual, May 1992. URL http://www.ross.net/funnelweb/introduction.html. Part of the FunnelWeb distribution

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kahl, W. (1998). Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators. In: Gupta, G. (eds) Practical Aspects of Declarative Languages. PADL 1999. Lecture Notes in Computer Science, vol 1551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49201-1_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-49201-1_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65527-5

  • Online ISBN: 978-3-540-49201-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics