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

作     者：吕娜 

出 版 物：《程序员》 (Programmer)

年 卷 期：2010年第5期

页      码：7-7页

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

主 题 词：ML语言 计算机程序设计语言 英国科学家 可计算函数 计算机学 中学教师 图灵奖 CCS 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

馆 藏 号：203104110...