TY  - RPRT
TI  - Abstracting Definitional Interpreters
AU  - David Darais
AU  - Nicholas Labich
AU  - Phuc C. Nguyen
AU  - David Van Horn
PY  - 2017
DO  - 10.1145/3110256
UR  - https://arxiv.org/abs/1707.04755
ID  - 1707.04755
ER  -