Inproceedings,
Generic programming with fixed points for mutually recursive datatypes.
A. Yakushev, S. Holdermans, A. Löh, and J. Jeuring.ICFP, page 233-244. ACM, (2009)
Meta data
- BibTeX key
- conf/icfp/YakushevHLJ09
- entry type
- inproceedings
- booktitle
- ICFP
- year
- 2009
- pages
- 233-244
- publisher
- ACM
- crossref
- conf/icfp/2009
- ee
- https://doi.org/10.1145/1631687.1596585
- isbn
- 978-1-60558-332-7
- url
- http://dblp.uni-trier.de/db/conf/icfp/icfp2009.html#YakushevHLJ09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}