[Gllug] OT Robin Milner

[Richard Jones]

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