A Design Methodology for Functional Programs

David Wakeling. A Design Methodology for Functional Programs. In Walid Taha, editor, Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings. Volume 2196 of Lecture Notes in Computer Science, pages 146-162, Springer, 2001. [doi]