Definitional Interpreters for Higher Order Programming Languages (1972)

by John Reynolds
Venue:In ACM Conference Proceedings