ChristiansenH06'

BibTeX

@inproceedings{DBLP:conf/sfp/ChristiansenH06,
  author    = {Jan Christiansen and
               Frank Huch},
  title     = {A purely functional implementation of ROBDDs in Haskell},
  booktitle = {Trends in Functional Programming},
  year      = {2006},
  pages     = {55-71},
  crossref  = {DBLP:conf/sfp/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sfp/2006,
  editor    = {Henrik Nilsson},
  title     = {Revised Selected Papers from the Seventh Symposium on Trends
               in Functional Programming, TFP 2006, Nottingham, United
               Kingdom, 19-21 April 2006},
  booktitle = {Trends in Functional Programming},
  publisher = {Intellect},
  series    = {Trends in Functional Programming},
  volume    = {7},
  year      = {2007},
  isbn      = {978-1-84150-188-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}