@inproceedings{myreen2021,
	title = {A minimalistic verified bootstrapped compiler (proof pearl)},
	booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs},
	year = {2021},
	month = {jan},
	pages = {32-45},
	publisher = {ACM},
	organization = {ACM},
	address = {New York, NY, USA},
	isbn = {9781450382991},
	doi = {10.1145/3437992.3439915},
	url = {https://dl.acm.org/doi/10.1145/3437992.3439915},
	author = {Myreen, Magnus O.}
}

@online{cakeML,
    author = {The CakeML Project},
    title = {The CakeML Project},
    year = {2013},
    url = {https://github.com/CakeML/cakeml},
    urldate = {2021-11-09}
}

@misc{compCert,
    author = {INRIA},
    title = {The CompCert Project},
    year = {2007},
    url = {https://compcert.org},
    urldate = {2021-11-09}
}

@misc{LLVM,
    author = {The LLVM Foundation},
    title = {LLVM},
    year = {2003},
    url = {https://llvm.org},
    urldate = {2021-11-14}
}