Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. Intrinsically-typed definitional interpreters for linear, session-typed languages. In Jasmin Blanchette, Catalin Hritcu, editors, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020. pages 284-298, ACM, 2020. [doi]
@inproceedings{RouvoetPKV20,
title = {Intrinsically-typed definitional interpreters for linear, session-typed languages},
author = {Arjen Rouvoet and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
year = {2020},
doi = {10.1145/3372885.3373818},
url = {https://doi.org/10.1145/3372885.3373818},
researchr = {https://researchr.org/publication/RouvoetPKV20},
cites = {0},
citedby = {0},
pages = {284-298},
booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020},
editor = {Jasmin Blanchette and Catalin Hritcu},
publisher = {ACM},
isbn = {978-1-4503-7097-4},
}