%0 Conference Paper %1 conf/cpp/Myreen21 %A Myreen, Magnus O. %B CPP %D 2021 %E Hritcu, Catalin %E Popescu, Andrei %I ACM %K dblp %P 32-45 %T A minimalistic verified bootstrapped compiler (proof pearl). %U http://dblp.uni-trier.de/db/conf/cpp/cpp2021.html#Myreen21 %@ 978-1-4503-8299-1

@inproceedings{conf/cpp/Myreen21, added-at = {2021-02-12T00:00:00.000+0100}, author = {Myreen, Magnus O.}, biburl = {https://www.bibsonomy.org/bibtex/203695dcac946f85da145854870642f8d/dblp}, booktitle = {CPP}, crossref = {conf/cpp/2021}, editor = {Hritcu, Catalin and Popescu, Andrei}, ee = {https://doi.org/10.1145/3437992.3439915}, interhash = {fe14ae4aa7b7ab783c819bf8d7979a20}, intrahash = {03695dcac946f85da145854870642f8d}, isbn = {978-1-4503-8299-1}, keywords = {dblp}, pages = {32-45}, publisher = {ACM}, timestamp = {2024-04-09T22:48:42.000+0200}, title = {A minimalistic verified bootstrapped compiler (proof pearl).}, url = {http://dblp.uni-trier.de/db/conf/cpp/cpp2021.html#Myreen21}, year = 2021 }