Actor induction and metaevaluation (1973)

by C Hewitt, P Bishop, I Greif, B Smith, T Matson, R Steiger
Venue:In Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, POPL ’73