archives

The Essence of Reynolds

The Essence of Reynolds by Stephen Brookes, Peter O'Hearn and Uday Reddy.

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.

Corresponding presentation from POPL.

By bashyal at 2014-03-11 14:47 | History | login or register to post comments | other blogs | 15691 reads