Mikaël Mayer, Ravi Chugh. A Bidirectional Krivine Evaluator. In James Cheney, Hsiang-Shang Ko, editors, Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019. Volume 2355 of CEUR Workshop Proceedings, pages 56-60, CEUR-WS.org, 2019. [doi]
@inproceedings{MayerC19,
title = {A Bidirectional Krivine Evaluator},
author = {Mikaël Mayer and Ravi Chugh},
year = {2019},
url = {http://ceur-ws.org/Vol-2355/paper5.pdf},
researchr = {https://researchr.org/publication/MayerC19},
cites = {0},
citedby = {0},
pages = {56-60},
booktitle = {Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019, Philadelphia, PA, USA, June 4, 2019},
editor = {James Cheney and Hsiang-Shang Ko},
volume = {2355},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}