Robin Milner谈程序语言及计算机科学——Karen A.Frenkel访问记

摘要

美国 ACM 通讯杂志高级编辑 Karen A.Frenkel 于1992年底访问了英国爱丁堡大学图灵奖获得者Robin Milner 教授,他结合本人的经历谈到了 ML(元语言)的设计过程、通讯系统演算(CCS)的成长、硬件与并发性关系、面向对象程序设计的基本问题以及对计算机科学与实践关系的看法,颇有见地,值得一读。