[TYPES] Very sad news

Gordon Plotkin gdp at inf.ed.ac.uk
Mon Mar 22 09:51:22 EDT 2010

Dear Colleagues,

I am deeply saddened to pass on the following message from Barney and Chloë

"We are sorry to announce that Robin Milner died on Saturday 20th March, in
Cambridge, just three days after the funeral of his wife, Lucy.

He will be greatly missed by his family and friends, as well as the academic

Gordon Plotkin

More information about the Types-list mailing list