Intrinsically-typed definitional interpreters for imperative languages

Casper Bach Poulsen, Arjen Rouvoet, Andrew P. Tolmach, Robbert Krebbers, Eelco Visser. Intrinsically-typed definitional interpreters for imperative languages. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]

Authors

Casper Bach Poulsen

Identified as Casper Bach Poulsen

Arjen Rouvoet

Identified as Arjen Rouvoet

Andrew Tolmach

Identified as Andrew P. Tolmach

Robbert Krebbers

Identified as Robbert Krebbers

Eelco Visser

Identified as Eelco Visser