[TYPES] John Reynolds
naumann at cs.stevens.edu
Tue Apr 30 12:09:14 EDT 2013
A guiding spirit indeed. Another opportunity for reflection is this recent
On Mon, 29 Apr 2013, Uday S Reddy wrote:
> Date: Mon, 29 Apr 2013 20:39:48 +0100
> From: Uday S Reddy <u.s.reddy at cs.bham.ac.uk>
> To: types-list <types-list at lists.seas.upenn.edu>
> Subject: [TYPES] John Reynolds
> [ 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
> Prof. Uday Reddy Tel: +44 121 414 2740
> Professor of Computer Science Fax: +44 121 414 4281
> School of Computer Science Email: U.S.Reddy at cs.bham.ac.uk
> University of Birmingham
> Birmingham B15 2TT Web: http://www.cs.bham.ac.uk/~udr
More information about the Types-list