ML语言之父——罗宾·米尔纳 |
| |
引用本文: | 吕娜.ML语言之父——罗宾·米尔纳[J].程序员,2010(5):7-7. |
| |
作者姓名: | 吕娜 |
| |
摘 要: | 2010年3月20日,图灵奖得主罗宾·米尔纳(Robin Milner)辞世,享年76岁。米尔纳是第四位获此殊荣的英国科学家,由于在LCF可计算函数逻辑、ML和CCS并发理论等计算机程序设计语言方面的贡献荣获1991年图灵奖。从中学教师到计算机学家1934年,米尔纳生于英国普利茅斯的一个军人家庭,曾加入过英国皇家工程兵部队,获得少尉军衔。
|
关 键 词: | ML语言 计算机程序设计语言 英国科学家 可计算函数 计算机学 中学教师 图灵奖 CCS |
本文献已被 维普 等数据库收录! |
|