El 20 de marzo de 2010 murió Robin Milner. Para quién no lo conozca, era un premio Turing (el Nobel de la informática). Había desarrollado el lenguaje ML; el sistema de inferencia de tipos de Hindley/Milner, usado en lenguajes como el Haskell; el pi-cálculo que formaliza los lenguajes concurrentes; todos ellos desarrollos que han marcado la historia de la informática. Más info [ENG]: http://www.sdtimes.com/blog/post/2010/03/22/Farewell-Robin-Milner.aspx