39 lines
966 B
BibTeX
39 lines
966 B
BibTeX
@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}
|
|
}
|