lunes, 22 de marzo de 2010

Adiós, Robin Milner

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.

La siguiente foto está sacada de su página web de la Universidad de Cambridge.



0 comentarios:

Publicar un comentario en la entrada