%0 Conference Paper %1 conf/itp/EricssonMP17 %A Ericsson, Adam Sandberg %A Myreen, Magnus O. %A Pohjola, Johannes Åman %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 444-461 %T A Verified Generational Garbage Collector for CakeML. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#EricssonMP17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/EricssonMP17, added-at = {2018-11-02T00:00:00.000+0100}, author = {Ericsson, Adam Sandberg and Myreen, Magnus O. and Pohjola, Johannes Åman}, biburl = {https://www.bibsonomy.org/bibtex/26a18d21b96757ae48ccb2452881cba43/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_28}, interhash = {4238596976345b5f9bf56afd293a23b8}, intrahash = {6a18d21b96757ae48ccb2452881cba43}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {444-461}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:23.000+0200}, title = {A Verified Generational Garbage Collector for CakeML.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#EricssonMP17}, volume = 10499, year = 2017 }