The following publications are possibly variants of this publication:
- Modular Specification and Compositional Soundness of Abstract InterpretersSven Keidel. PhD thesis, University of Mainz, Germany, 2021. [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]