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.