Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs. Certified Derivation of Small-Step From Big-Step Skeletal Semantics. In PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022. ACM, 2022. [doi]
@inproceedings{AmbalLSN22,
title = {Certified Derivation of Small-Step From Big-Step Skeletal Semantics},
author = {Guillaume Ambal and Sergueï Lenglet and Alan Schmitt and Camille Noûs},
year = {2022},
doi = {10.1145/3551357.3551384},
url = {https://doi.org/10.1145/3551357.3551384},
researchr = {https://researchr.org/publication/AmbalLSN22},
cites = {0},
citedby = {0},
booktitle = {PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20 - 22, 2022},
publisher = {ACM},
isbn = {978-1-4503-9703-2},
}