Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser
Intrinsically-typed definitional interpreters for imperative languages
POPL, 2018.
@article{POPL-2018-PoulsenRTKV, author = "Casper Bach Poulsen and Arjen Rouvoet and Andrew Tolmach and Robbert Krebbers and Eelco Visser", doi = "10.1145/3158104", journal = "{Proceedings of the ACM on Programming Languages}", number = "POPL", pages = "34", publisher = "{ACM}", title = "{Intrinsically-typed definitional interpreters for imperative languages}", volume = 2, year = 2018, }