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]
Abstract is missing.