BibTeX record conf/icfp/YakushevHLJ09

download as .bib file

@inproceedings{DBLP:conf/icfp/YakushevHLJ09,
  author    = {Alexey Rodriguez Yakushev and
               Stefan Holdermans and
               Andres L{\"{o}}h and
               Johan Jeuring},
  title     = {Generic programming with fixed points for mutually recursive datatypes},
  booktitle = {{ICFP}},
  pages     = {233--244},
  publisher = {{ACM}},
  year      = {2009}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics