Wolfram Kahl
pp. 76-90 in Gopal Gupta (ed.):
Practical Aspects of Declarative Languages,
First International Workshop, PADL '99, San Antonio,
Texas, USA, January 1999, Proceedings,
LNCS 1551,
Springer-Verlag, January 1999.
(.bib, .pdf)
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.
The Haskell code is available here.