%0 Conference Paper %1 conf/icfp/YakushevHLJ09 %A Yakushev, Alexey Rodriguez %A Holdermans, Stefan %A Löh, Andres %A Jeuring, Johan %B ICFP %D 2009 %E Hutton, Graham %E Tolmach, Andrew P. %I ACM %K dblp %P 233-244 %T Generic programming with fixed points for mutually recursive datatypes. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2009.html#YakushevHLJ09 %@ 978-1-60558-332-7

@inproceedings{conf/icfp/YakushevHLJ09, added-at = {2021-06-25T00:00:00.000+0200}, author = {Yakushev, Alexey Rodriguez and Holdermans, Stefan and Löh, Andres and Jeuring, Johan}, biburl = {https://www.bibsonomy.org/bibtex/2f249952e7c4010f7dc858dc62274246f/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2009}, editor = {Hutton, Graham and Tolmach, Andrew P.}, ee = {https://doi.org/10.1145/1631687.1596585}, interhash = {ec7187b8b7dfc294dafb1ae4c08a4f84}, intrahash = {f249952e7c4010f7dc858dc62274246f}, isbn = {978-1-60558-332-7}, keywords = {dblp}, pages = {233-244}, publisher = {ACM}, timestamp = {2024-04-09T17:30:49.000+0200}, title = {Generic programming with fixed points for mutually recursive datatypes.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2009.html#YakushevHLJ09}, year = 2009 }