Lambda the Ultimate

I used to think, (way, way, back), that Duck Typing was for dynamically typed languages. Involvement in developing the wikipedia page showed my naïveté, but I am left thinking "is duck typing advocated in languages other than the dynamic ones"?

I know that Boo has the specific duck as a type so thats one, any others?

Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators, Wolfram Kahl. 1999.

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 formalization of document formatting combinators using galley concepts in the purely functional programming language Haskell.

We've talked about functional layout algorithms for mathematics before, so it seems like a good idea to link to a paper about typesetting all the text those formulas are surrounded by.