%0 Conference Paper %1 conf/icfp/McCreightCT10 %A McCreight, Andrew %A Chevalier, Tim %A Tolmach, Andrew P. %B ICFP %D 2010 %E Hudak, Paul %E Weirich, Stephanie %I ACM %K dblp %P 273-284 %T A certified framework for compiling and executing garbage-collected languages. %U http://dblp.uni-trier.de/db/conf/icfp/icfp2010.html#McCreightCT10 %@ 978-1-60558-794-3

@inproceedings{conf/icfp/McCreightCT10, added-at = {2021-06-22T00:00:00.000+0200}, author = {McCreight, Andrew and Chevalier, Tim and Tolmach, Andrew P.}, biburl = {https://www.bibsonomy.org/bibtex/22d6d15b4039be5e6e9513854e8f28182/dblp}, booktitle = {ICFP}, crossref = {conf/icfp/2010}, editor = {Hudak, Paul and Weirich, Stephanie}, ee = {https://doi.org/10.1145/1932681.1863584}, interhash = {ba649c8c571ac720b3f4d42ce26bee1e}, intrahash = {2d6d15b4039be5e6e9513854e8f28182}, isbn = {978-1-60558-794-3}, keywords = {dblp}, pages = {273-284}, publisher = {ACM}, timestamp = {2024-04-09T17:31:28.000+0200}, title = {A certified framework for compiling and executing garbage-collected languages.}, url = {http://dblp.uni-trier.de/db/conf/icfp/icfp2010.html#McCreightCT10}, year = 2010 }