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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.