Tuesday, March 23, 2010

A sad day

I just heard that Robin Milner has died. I met him a couple of times and found him approachable, very articulate and friendly. A great loss. My sympathies to his family.

No comments:

Post a Comment