[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
Dear friends and colleagues, I am sorry to bring the sad news that John Reynolds, whose work and insights I have mentioned and recounted in my recent exchanges, has passed away on Sunday in Pittsburgh. John has not only done seminal work on a wide range of programming language topics, but he was also a guiding spirit and a great friend to many of us. We will dearly miss him. At this juncture, we might take a moment to reflect on his life time of accomplishment: http://www.cs.cmu.edu/~jcr/ Uday -- Prof. Uday Reddy Tel: +44 121 414 2740 Professor of Computer Science Fax: +44 121 414 4281 School of Computer Science Email: [email protected] University of Birmingham Edgbaston Birmingham B15 2TT Web: http://www.cs.bham.ac.uk/~udr
