Meta-circular interpreter for a strongly typed language (1989)

by Masami Hagiya
Venue:Journal of Symbolic Computation