Andreas Abel, Guillaume Allais, Aliya Hameer, Brigitte Pientka, Alberto Momigliano, Steven Schäfer, Kathrin Stark. POPLMark reloaded: Mechanizing proofs by logical relations. Journal of Functional Programming, 29, 2019. [doi]
@article{AbelAHPMSS19,
title = {POPLMark reloaded: Mechanizing proofs by logical relations},
author = {Andreas Abel and Guillaume Allais and Aliya Hameer and Brigitte Pientka and Alberto Momigliano and Steven Schäfer and Kathrin Stark},
year = {2019},
doi = {10.1017/S0956796819000170},
url = {https://doi.org/10.1017/S0956796819000170},
researchr = {https://researchr.org/publication/AbelAHPMSS19},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {29},
}