Abstracting Definitional Interpreters - 42Papers