TY  - RPRT
TI  - From Syntactic Theories to Interpreters: A Specification Language and Its Compilation
AU  - Yong Xiao
AU  - Zena M. Ariola
AU  - Michel Mauny
PY  - 2000
UR  - https://arxiv.org/abs/cs/0009030
ID  - cs/0009030
ER  -