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