Casper Bach Poulsen, Arjen Rouvoet, Andrew P. Tolmach, Robbert Krebbers, Eelco Visser. Intrinsically-typed definitional interpreters for imperative languages. Preprint 2018.
@techreport{preprint-PoulsenRTKV18,
title = {Intrinsically-typed definitional interpreters for imperative languages},
author = {Casper Bach Poulsen and Arjen Rouvoet and Andrew P. Tolmach and Robbert Krebbers and Eelco Visser},
year = {2018},
researchr = {https://researchr.org/publication/preprint-PoulsenRTKV18},
cites = {0},
citedby = {0},
type = {Preprint},
}