Robin Milner ha lavorato su tre domande apparentemente separate: come far verificare una dimostrazione a un computer, come lasciare che un compilatore deduca i tipi di un programma e come ragionare su più processi che comunicano. Le ha affrontate con la stessa esigenza: formalismi abbastanza rigorosi da stabilire proprietà, ma abbastanza pratici da essere realmente usati.
BiografiaStoria dell’informaticaPrincipiante
Robin Milner: ML, dimostrazione assistita e linguaggi dell'interazione
Scopri come Robin Milner ha collegato dimostrazione assistita, ML, inferenza dei tipi e modelli di concorrenza per dare basi rigorose al software.
