Where theory and practice meet: POPL past and future (1998)

by John Reynolds
Venue:Invited Lecture, 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages