Definitional Interpreters Revisited, Higher-Order Symb (1998)

by J C Reynolds
Venue:Comput