Definitional interpreters for higher-order programming languages (1972)

by John C. Reynolds
Venue:Reprinted from the proceedings of the 25th ACM National Conference
Citations:299 - 2 self