BibTeX record conf/sfp/KoopmanP06

download as .bib file

@inproceedings{DBLP:conf/sfp/KoopmanP06,
  author       = {Pieter W. M. Koopman and
                  Rinus Plasmeijer},
  editor       = {Henrik Nilsson},
  title        = {Systematic synthesis of functions},
  booktitle    = {Revised Selected Papers from the Seventh Symposium on Trends in Functional
                  Programming, {TFP} 2006, Nottingham, United Kingdom, 19-21 April 2006},
  series       = {Trends in Functional Programming},
  volume       = {7},
  pages        = {35--54},
  publisher    = {Intellect},
  year         = {2006},
  timestamp    = {Thu, 25 Oct 2007 12:11:04 +0200},
  biburl       = {https://dblp.org/rec/conf/sfp/KoopmanP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics