Variable elimination for building interpreters

Julien Cohen, Jean-Louis Giavitto, Olivier Michel

In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (th…