Norman Ramsey. Embedding an interpreted language using higher-order functions and types. In David Gregg, M. Anton Ertl, editors, Proceedings of the 2003 Workshop on Interpreters, Virtual Machines and Emulators, IVME 2003, San Diego, California, USA, June 12, 2003. pages 6-14, ACM, 2003. [doi]