A couple of years ago, I read his paper "Definitional Interpreters for Higher Order Languages" [1], because it was suggested to me by a friend. It was a joyful read, and to the best of my knowledge it is the first treatment of how to implement higher-order language constructs in a first-order language. Just recently, I thought of the paper, so it's sad news that the author has died...<p>[1] <a href="http://repository.readscheme.org/ftp/papers/plsemantics/reynolds/HOSC-11-4-pp363-397.pdf" rel="nofollow">http://repository.readscheme.org/ftp/papers/plsemantics/reyn...</a>
<a href="http://www.informatik.uni-trier.de/~ley/pers/hd/r/Reynolds:John_C=.html" rel="nofollow">http://www.informatik.uni-trier.de/~ley/pers/hd/r/Reynolds:J...</a> Wow - he really didn't stop doing what he loved.
Anyone knows who was John C. Reynolds's PhD advisor in Harvard? We have his profile at phdtree:<p><a href="http://phdtree.org/scholar/reynolds-john-c/" rel="nofollow">http://phdtree.org/scholar/reynolds-john-c/</a><p>But his phd advisor info is missing
This is one of those threads which makes you feel a bit ill inside for "upvoting" as it were, but nonetheless he deserves to be recognised for his contributions and achievements.
a few small anecdotes about him: <a href="http://semantic-domain.blogspot.fr/2013/04/john-c-reynolds-june-1-1935-april-28.html" rel="nofollow">http://semantic-domain.blogspot.fr/2013/04/john-c-reynolds-j...</a>