Embedding an Interpreted Language Using Higher-Order Functions and
Using an embedded, interpreted
control a complicated application can have significant
But existing interpreters are designed for embedding into C code.
To embed an interpreter into a different language requires a suitable
Lua-ML is a new API that uses higher-order functions and types
to simplify the use of an embedded interpreter.
A typical application-program function can be
added to a Lua-ML interpreter simply by describing the function's type.
This paper appears in the
ACM SIGPLAN 2003 Workshop on Interpreters, Virtual Machines and Emulators.
The paper is available as
US Letter PostScript (162K),
US Letter PDF (104K), and
US Letter TeX DVI (76K).