Re: [TYPES] John Reynolds

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

A guiding spirit indeed.  Another opportunity for reflection is this recent 
interview:
http://link.cs.cmu.edu/article.php?a=763


http://link.cs.cmu.edu/article.php?a=763

On Mon, 29 Apr 2013, Uday S Reddy wrote:

> Date: Mon, 29 Apr 2013 20:39:48 +0100
> From: Uday S Reddy <[email protected]>
> To: types-list <types-list-nHFbR+4dATOoZA3Q9b/[email protected]>
> 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
> 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
>