Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)

Guannan Wei, James M. Decker, Tiark Rompf. Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl). Proceedings of the ACM on Programming Languages, 2(ICFP), 2018. [doi]

Authors

Guannan Wei

This author has not been identified. Look up 'Guannan Wei' in Google

James M. Decker

This author has not been identified. Look up 'James M. Decker' in Google

Tiark Rompf

This author has not been identified. Look up 'Tiark Rompf' in Google