![Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)]()
Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)Wei, Guannan; Decker, James; Rompf, Tiark · Proceedings of the ACM on Programming Languages · 2018