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]
Abstract is missing.