The following publications are possibly variants of this publication:
- 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]
- Intrinsically typed compilation with nameless labelsArjen Rouvoet, Robbert Krebbers, Eelco Visser. PACMPL, 5(POPL):1-28, 2021. [doi]
- From definitional interpreter to symbolic executorAdrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser. OOPSLA 2019: 11-20 [doi]
- Intrinsically-typed definitional interpreters à la carteCas van der Rest, Casper Bach Poulsen, Arjen Rouvoet, Eelco Visser, Peter D. Mosses. PACMPL, 6(OOPSLA2):1903-1932, 2022. [doi]