latex/bibliographies/cs.bib
2021-11-20 16:39:50 +01:00

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}
}