Collapsing Towers of Interpreters
We are concerned with the following challenge: given a sequence of programming
L_0,...,L_n and interpreters for
L_i+1 written in
a compiler from
L_0. This compiler should be one-pass, and it should be
optimal in the sense that the translation removes all interpretive overhead of the
popl18 directory for the authorative artifact accompanying the POPL 2018 paper Collapsing Towers of Interpreters.