The following publications are possibly variants of this publication:
- Intrinsically-typed definitional interpreters for linear, session-typed languagesArjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser. CPP 2020: 284-298 [doi]
- Intrinsically-typed definitional interpreters for imperative languagesCasper Bach Poulsen, Arjen Rouvoet, Andrew P. Tolmach, Robbert Krebbers, Eelco Visser. Preprint 2018.
- Intrinsically-typed definitional interpreters for imperative languagesCasper Bach Poulsen, Arjen Rouvoet, Andrew P. Tolmach, Robbert Krebbers, Eelco Visser. PACMPL, 2(POPL), 2018. [doi]