%0 Conference Paper %1 conf/sfp/HjortHP17 %A Hjort, Rikard %A Holmgren, Jakob %A Persson, Christian %B TFP %D 2017 %E Wang, Meng %E Owens, Scott %I Springer %K dblp %P 135-148 %T The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler. %U http://dblp.uni-trier.de/db/conf/sfp/tfp2017.html#HjortHP17 %V 10788 %@ 978-3-319-89719-6

@inproceedings{conf/sfp/HjortHP17, added-at = {2018-05-05T00:00:00.000+0200}, author = {Hjort, Rikard and Holmgren, Jakob and Persson, Christian}, biburl = {https://www.bibsonomy.org/bibtex/207e19246a19b4de6563464ba55046e01/dblp}, booktitle = {TFP}, crossref = {conf/sfp/2017}, editor = {Wang, Meng and Owens, Scott}, ee = {https://doi.org/10.1007/978-3-319-89719-6_8}, interhash = {fbcdfacf492ab7052b1d4e677fe13584}, intrahash = {07e19246a19b4de6563464ba55046e01}, isbn = {978-3-319-89719-6}, keywords = {dblp}, pages = {135-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:41:32.000+0200}, title = {The CakeML Compiler Explorer - Tracking Intermediate Representations in a Verified Compiler.}, url = {http://dblp.uni-trier.de/db/conf/sfp/tfp2017.html#HjortHP17}, volume = 10788, year = 2017 }