Definitional interpreters revisited (1998)

by J C Reynolds
Venue:Higher-Order and Symbolic Computation