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]

@inproceedings{Wakeling01,
  title = {A Design Methodology for Functional Programs},
  author = {David Wakeling},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2196/21960146.htm},
  tags = {functional programming, design},
  researchr = {https://researchr.org/publication/Wakeling01},
  cites = {0},
  citedby = {0},
  pages = {146-162},
  booktitle = {Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings},
  editor = {Walid Taha},
  volume = {2196},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42558-6},
}