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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Pablo R. Azero, S. Doaitse Swierstra. Optimal Pretty-Printing Combinators, 1998. URL http://www.cs.ruu.nl/groups/ST/Software/PP/.
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.
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.
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/.
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.
Jeffrey H. Kingston. The design and implementation of the Lout document formatting language. Software — Practice and Experience 23, 1001–1041 (1993).
Jeffrey H. Kingston. An Expert’s Guide to the Lout Document Formatting System (Version 3). Basser Department of Computer Science, University of Sydney, 1995.
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.
Donald E. Knuth. The TEXBook Addison-Wesley, 1984.
Simon Peyton Jones. A Pretty Printer Library in Haskell, Version 3.0, 1997. URL http://www.dcs.gla.ac.uk/~simonpj/pretty.html.
Philip Wadler. A Prettier Printer, 1998. URL http://cm.bell-labs.com/cm/cs/who/wadler/papers/prettier/. Draft paper
Ross N. Williams. FunnelWeb User’s Manual, May 1992. URL http://www.ross.net/funnelweb/introduction.html. Part of the FunnelWeb distribution
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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