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. PACMPL, 2(POPL), 2018. [doi]

Authors

Casper Bach Poulsen

This author has not been identified. It may be one of the following persons: Look up 'Casper Bach Poulsen' in Google

Arjen Rouvoet

This author has not been identified. It may be one of the following persons: Look up 'Arjen Rouvoet' in Google

Andrew Tolmach

Identified as Andrew P. Tolmach

Robbert Krebbers

This author has not been identified. Look up 'Robbert Krebbers' in Google

Eelco Visser

Identified as Eelco Visser