Definitional Interpreters for Higher-Order Programming Languages (1972)

by J C Reynolds
Venue:Proceedings of the 25th ACM National Conference