Definitional Interpreters for Higher-Order Programming Languages

John C. Reynolds. Definitional Interpreters for Higher-Order Programming Languages. Higher-Order and Symbolic Computation, 11(4):363-397, 1998.

Abstract

Abstract is missing.