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]

Abstract

Abstract is missing.