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

• 作者: 吕娜
• 来源期刊: 程序员
• 学科: 工学
• 关键词: ML语言 计算机程序设计语言 英国科学家 可计算函数 计算机学 中学教师 图灵奖 CCS
• 年，卷（期）: 2010,（5）
• 页码范围: 7
• 页数: 1页
• 分类号: TP311.12

摘要

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