Type Structures in Programming Languages

该奖项使首席研究员能够与帕洛阿尔托地区的几位研究人员合作，包括斯坦福大学的约翰·米切尔、数字设备研究中心的卢卡·卡德利等人、惠普实验室的沃尔特·希尔和苹果计算机公司的威廉·库克。其目的是发起和追求围绕面向对象语言的设计和语义的新的研究活动。这项活动预计将对作者在威廉姆斯学院的研究以及他在那里的荣誉项目中的角色产生重大影响。

This award enables the Principal Investigator to work with several researchers in the Palo Alto area, including John Mitchell at Stanford, Luca Cardelli and others at the Digital Equipment Research Center, Walter Hill at Hewlett Packard Laboratories and William Cook at Apple Computer. The intent is to initiate and pursue new research activities revolving around the design and semantics of object- oriented languages. The activity is expected to have a significant impact on the author's research at Williams College and on his role in the honors program there.