The Essence of Reynolds

ACM Symposium on Principles of Programming Languages (POPL)

Abstract

John Reynolds (1935-2013) was a pioneer of programming languages research. In this paper we pay tribute to the man, his ideas, and his influence.

Featured Publications