FREE HISTORICAL FIGURES OF COMPUTING DOSSIER
Robin Milner
1934–2010 · Computer Scientist, Creator of ML
Computer Scientist, Creator of ML
ML language; Hindley-Milner type inference; π-calculus; CCS (process algebra); 3 Turing-landmark contributions
FREE HISTORICAL FIGURES OF COMPUTING DOSSIER
1934–2010 · Computer Scientist, Creator of ML
ML language; Hindley-Milner type inference; π-calculus; CCS (process algebra); 3 Turing-landmark contributions