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

by Norman Ramsey
Venue:Journal of functional programming