Matteo Cimini. Lang-n-Prove: A DSL for Language Proofs. In Bernd Fischer, Lola Burgueño, Walter Cazzola, editors, Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022. pages 16-29, ACM, 2022. [doi]
@inproceedings{Cimini22-0,
title = {Lang-n-Prove: A DSL for Language Proofs},
author = {Matteo Cimini},
year = {2022},
doi = {10.1145/3567512.3567514},
url = {https://doi.org/10.1145/3567512.3567514},
researchr = {https://researchr.org/publication/Cimini22-0},
cites = {0},
citedby = {0},
pages = {16-29},
booktitle = {Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022},
editor = {Bernd Fischer and Lola Burgueño and Walter Cazzola},
publisher = {ACM},
isbn = {978-1-4503-9919-7},
}