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

by M Hagiya
Venue:Journal of Symbolic Computation