Actor induction and meta-evaluation (1973)

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