Il y a quelques jours, nous apprenions sur la mailing-list "TYPES" le décès de Robin Milner [1], qui nous a quitté le 20 mars 2010.
Il est probable que beaucoup d'entre vous ne sachent pas qui Robin Milner était, alors je me permets de faire une rapide biographie :
Né en Angleterre en 1934, il fait une carrière académique qui l'envoit notamment à Stanford, Edinburgh (où il co-fonde le Laboratory for Foundations of Computer Science [2]) et à Cambridge où (…)
Journal Nécrologie : Robin Milner.
23
mar.
2010
