The design and implementation of the lout document formatting language
Software—Practice & Experience
Interally Typed Second-Order Term Graphs
WG '98 Proceedings of the 24th International Workshop on Graph-Theoretic Concepts in Computer Science
The Design of a Pretty-printing Library
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text
Pretty-printing: An Exercise in Functional Programming
Proceedings of the Second International Conference on Mathematics of Program Construction
The TeXbook
Stable, flexible, peephole pretty-printing
Science of Computer Programming
Hi-index | 0.00 |
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.