摘要
马丁·阿巴迪和卢卡·卡德利。 物体理论。 施普林格，纽约，1996年。]] 谷歌学者 
数字图书馆 
马丁·阿巴迪、卢卡·卡德利和拉梅什·维斯瓦纳坦。 对象和对象类型的解释。 在1996年佛罗里达州圣彼得堡海滩举行的ACM编程语言原则研讨会上，第396-409页。]] 谷歌学者 数字图书馆 保罗·巴尔丹（Paolo Baldan）、乔治·盖利（Giorgio Ghelli）和亚历山德拉·拉斐塔（Alessandra Raffaeta）。 f有界量化的基本理论。 信息与计算，153（1）：173--2371999.]] 谷歌学者 数字图书馆 金·布鲁斯（Kim B.Bruce）。 一种典型的面向对象编程语言：设计、静态类型和语义。 函数编程杂志，4（2）：127--2061994 谷歌学者 交叉引用 
彼得·坎宁、威廉·库克、沃尔特·希尔、沃尔特·奥尔瑟夫和约翰·米切尔。 面向对象编程的F-有界量化。 第四届函数式编程语言和计算机体系结构国际会议，第273-280页，1989年。]] 谷歌学者 数字图书馆 卢卡·卡德利。 多重继承的语义。 信息与计算，76（2/3）：138--1641988年2月/3月。]] 谷歌学者 数字图书馆 卢卡·卡德利和彼得·韦格纳。 关于理解类型、数据抽象和多态性。 ACM计算调查，17（4）：471-5221985。]] 谷歌学者 数字图书馆 朱塞佩·卡斯塔尼亚（Giuseppe Castagna）和本杰明·皮尔斯（Benjamin C.Pierce）。 勘误表：可判定有界量化。 http://www.cis.upenn.edu/ ~bc皮尔斯/papers/fsubnew-corigendum.ps.]] 谷歌学者 朱塞佩·卡斯塔尼亚（Giuseppe Castagna）和本杰明·皮尔斯（Benjamin C.Pierce）。 可判定的有界量化。 在第21届ACM编程语言原理研讨会上，第151-162页。 ACM出版社，1994年。]] 谷歌学者 数字图书馆 胡安·陈和大卫·塔迪蒂。 面向对象语言的简单类型中间语言。 技术报告，Microsoft Corporation。 http://www.research.microsoft.com/ ~juanchen/tr.pdf。]] 谷歌学者 克里斯托弗·科尔比（Christopher Colby）、彼得·李（Peter Lee）、乔治·C·内库拉（George C.Necula）、弗雷德·布莱（Fred Blau）、肯·克莱恩（Ken Cline）和马克·普莱斯科（Mark Plesko）。 Java的认证编译器。 在ACM SIGPLAN编程语言设计与实现会议上。 ACM出版社，2000年6月。]] 谷歌学者 数字图书馆 威廉·库克（William R.Cook）、沃尔特·希尔（Walter Hill）和彼得·坎宁（Peter S.Canning）。 继承不是子类型。 在第17届ACM编程语言原理研讨会上，第125-135页。 ACM出版社，1990年。]] 谷歌学者 数字图书馆 卡尔·克莱里。 使用交集类型进行简单、高效的对象编码。 技术报告。 CMU技术报告CMU-CS-99-100。]] 谷歌学者 数字图书馆 微软公司等。公共语言基础设施。 2002 http://msdn.microsoft.com/net/ecma/。 ]] 谷歌学者 凯瑟琳·费舍尔（Kathleen Fisher）。 面向对象编程语言的类型系统。 斯坦福大学博士论文，1996年。]] 谷歌学者 数字图书馆 凯瑟琳·费舍尔（Kathleen Fisher）、约翰·雷皮（John H.Reppy）和乔恩·里克（Jon G.Riecke）。 编译和链接类的微积分。 第九届欧洲编程语言与系统研讨会论文集，第135至149页。 Springer-Verlag，2000年。]] 谷歌学者 数字图书馆 乔治·盖利（Giorgio Ghelli）。 递归类型在F≤上不保守。 《打字兰姆达微积分及其应用国际会议论文集》，第146-162页。 Springer-Verlag，1993年。]] 谷歌学者 数字图书馆 乔治·盖利。 F类型检查的分歧。 理论计算机科学，139（1-2）：131-1621995 谷歌学者 数字图书馆 尼尔·格劳。 命名层次结构类型的类型分派。 ACM SIGPLAN国际函数编程会议，第172-182页，1999年。]] 谷歌学者 数字图书馆 尼尔·格劳。 有效的类和对象编码。 在ACM SIGPLAN面向对象编程、系统、语言和应用会议上，第311-3242000页。]] 谷歌学者 数字图书馆 Atsushi Igarashi、Benjamin C.Pierce和Philip Wadler。 Featherweight Java：Java和GJ的最小核心演算。 ACM事务处理。 关于编程语言和系统，23（3）：396--450，2001。]] 谷歌学者 数字图书馆 S.卡明。 Smalltalk-80中的继承：一个指称定义。 在第15届ACM编程语言原理研讨会上，第80-87页。 ACM出版社，1988年。]] 谷歌学者 数字图书馆 克里斯托弗·里奇。 类型保护编译器基础结构。 耶鲁大学博士论文，2002年。]] 谷歌学者 数字图书馆 Christopher League、钟绍和瓦列里·特里福诺夫。 Featherweight Java的类型保护编译。 ACM事务处理。 《编程语言和系统》，24（2），2002年3月。]] 谷歌学者 数字图书馆 蒂姆·林德霍姆（Tim Lindholm）和弗兰克·耶林（Frank Yellin）。 Java虚拟机规范。 Addison-Wesley，1999年。]] 谷歌学者 数字图书馆 格雷格·莫里塞特（Greg Morrisett）、大卫·沃克（David Walker）、卡尔·克莱里（Karl Crary）和尼尔·格鲁（Neal Glew）。 从系统F到类型化汇编语言。 ACM事务处理。 关于编程语言和系统，21（3）：527--5681999年5月。]] 谷歌学者 数字图书馆 乔治·内库拉。 证明携带代码。 在ACM编程语言原理研讨会上，第106-119页。 ACM出版社，1997年。]] 谷歌学者 数字图书馆 本杰明·皮尔斯。 交集类型和有界多态性。 《打字兰姆达微积分与应用》，第664卷，第346--360页。 Springer-Verlag，1993年。]] 谷歌学者 数字图书馆 本杰明·皮尔斯。 有界量化是无法确定的。 《面向对象编程的理论方面：类型、语义和语言设计》，第427-459页。 麻省理工学院出版社，马萨诸塞州，1994年。]] 谷歌学者 数字图书馆 本杰明·皮尔斯和大卫·特纳。 面向对象编程的简单类型论基础。 函数编程杂志，4（2）：207-2471994。]] 谷歌学者 交叉引用 迪迪埃·雷米。 使用ml-art编程对象，这是对具有抽象和记录类型的ml的扩展。 在计算机软件理论方面的国际会议上，第321-346页。 Springer-Verlag，1994年。]] 谷歌学者 数字图书馆 钟绍。 FLINT/ML编译器概述。 1997年6月，在ACM SIGPLAN编译类型研讨会上。]] 谷歌学者 D.Tarditi、G.Morrisett、P.Cheng、C.Stone、R.Harper和P.Lee。 TIL：面向ML的类型定向优化编译器。在ACM SIGPLAN编程语言设计与实现会议上，第181-192页，1996年。]] 谷歌学者 数字图书馆 安德鲁·赖特（Andrew K.Wright）和马蒂亚斯·费尔莱森（Matthias Felleisen）。 一种类型正确性的句法方法。 信息与计算，115（1）：38-941994。]] 谷歌学者 数字图书馆 安德鲁·赖特（Andrew K.Wright）、苏雷什·贾甘纳森（Suresh Jagannathan）、克里斯蒂安·昂古里安（Cristian Ungureanu）和亚伦·赫兹曼（Aaron Hertzmann）。 将Java编译为类型化lambda-calculus：初步报告。 在编译类型中，第9-27页，1998年。]] 谷歌学者 数字图书馆 Xi Hongwei、Chen Chiyan和Gang Chen。 受保护的递归数据类型构造函数。 在2003年1月于新奥尔良举行的ACM SIGPLAN编程语言原理研讨会上，第224-235页。]] 谷歌学者 数字图书馆
建议
面向对象语言的简单类型中间语言 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 由于编码的复杂性，传统的类和对象编码很难在实际的类型保护编译器中使用。 我们提出了一种用于编译面向对象语言的简单类型中间语言，并证明了它的有效性。。。 一种用于编译多重继承的类型化中间语言 2007年POPL会议记录 类型保护编译可以通过生成可以独立于编译器进行验证的代码来提高软件的可靠性。 对于具有多重继承的语言，不存在实用的类型保留编译。 本文介绍了E 英里 , ...
