Embedding an interpreted language using higher-order functions and types (2003)

by Norman Ramsey
Venue:In ACM SIGPLAN Workshop on Interpreters, Virtual Machines and Emulators (IVME