[Gllug] OT Robin Milner
Richard Jones
rich at annexia.org
Mon Mar 22 21:56:30 UTC 2010
On Mon, Mar 22, 2010 at 09:47:00PM +0000, sean wrote:
> Robin Milner died on Saturday. Not linux related i know, but he was a
> great computer scientist who contributed much to the area.
He coinvented type inference about 30 years ago. Even now this most
useful technique is not widely used, which is a great shame ...
Rich.
--
Richard Jones
Red Hat
--
Gllug mailing list - Gllug at gllug.org.uk
http://lists.gllug.org.uk/mailman/listinfo/gllug
More information about the GLLUG
mailing list