L'INRIA rend hommage à Robin Milner

INRIA
http://www.inria.fr/actualites/2010/hommage-robin-milner.fr.html
Les chercheurs de l'Institut tiennent à rendre un vibrant hommage à Robin Milner, disparu le 20 mars dernier, à l'âge de 76 ans. Ils perdent avec lui un collègue hors pair, un pionnier de la science informatique, à la fois brillant théoricien et attentif aux applications pratiques. Robin Milner était également un grand pédagogue, qui avait inspiré des générations de chercheurs.
...