Functional Pearl: Weaving a Web (2001)

by Ralf Hinze, Johan Jeuring