ML语言之父——罗宾·米尔纳

摘要

2010年3月20日,图灵奖得主罗宾·米尔纳（Robin Milner）辞世,享年76岁。米尔纳是第四位获此殊荣的英国科学家,由于在LCF可计算函数逻辑、ML和CCS并发理论等计算机程序设计语言方面的贡献荣获1991年图灵奖。从中学教师到计算机学家1934年,米尔纳生于英国普利茅斯的一个军人家庭,曾加入过英国皇家工程兵部队,获得少尉军衔。