@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},
year = {2009},
pages = {233-244},
ee = {http://doi.acm.org/10.1145/1596550.1596585},
crossref = {DBLP:conf/icfp/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfp/2009,
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Proceeding of the 14th ACM SIGPLAN international conference
on Functional programming, ICFP 2009, Edinburgh, Scotland,
UK, August 31 - September 2, 2009},
booktitle = {ICFP},
publisher = {ACM},
year = {2009},
isbn = {978-1-60558-332-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}