Intrinsically-typed definitional interpreters for linear, session-typed languages

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]

Abstract

Abstract is missing.