摘要
AC95a。 Abadi，M.和L.Cardelli。 命令式对象演算。 在TAPSOFT’95：软件开发的理论与实践中，计算机科学讲义中的数字915。 Springer-Verlag，1995年5月，第471-485页。 谷歌学者 
AC95b型。 阿巴迪，M.和L.卡德利。 关于分型和匹配，见1995年ECOOP。 谷歌学者 数字图书馆 
AM94。 Appel，A.W.和D.B.MacQueen。 《1994年ACM编程语言设计与实现会议记录》中标准ML的单独汇编，1994年6月，第13-23页。 谷歌学者 数字图书馆 附录92。 苹果电脑，马萨诸塞州剑桥。迪伦：面向对象的动态语言，1992年。 谷歌学者 94年10月。 一种典型的面向对象语言：设计、静态类型和语义。 《函数编程杂志》，4（2），1994年，第127-206页。 谷歌学者 交叉引用 
卡84。 Cardelli，L.多重继承的语义。 《数据类型的语义》，《计算机科学讲义》第173卷，纽约，1984年。 Springer-Verlag，第5 i--67页。 谷歌学者 第95章。 Cardelli，L.一种具有分布范围的语言。 1995年1月，第22届ACM编程语言原理研讨会会议记录，第286-297页。 谷歌学者 数字图书馆 案例95。 卡斯塔尼亚，G.协方差与反方差：没有原因的冲突。 《美国计算机学会编程语言与系统汇刊》，17（3），1995年5月，第431-447页。 谷歌学者 数字图书馆 CCH+89。 坎宁、P.、W.库克、W.希尔、J.米切尔和W.奥尔瑟夫。 面向对象编程的F-有界量化。 在第四届函数式编程语言和计算机体系结构国际会议的会议记录中。 ACM，1989年，第273-280页。 谷歌学者 数字图书馆 冷却89。 库克，W.R.提出了一项使埃菲尔铁塔类型安全的建议。 在1989年欧洲面向对象编程会议上，第57-72页。 谷歌学者 数字图书馆 CW85。 Cardelli，L.和P.Wegner。 关于理解类型、数据抽象和多态性。 《计算调查》，17（4），1985年，第471-522页。 谷歌学者 数字图书馆 DM82。 Damas，L.和R.Milner。 功能程序的主要类型。 1982年1月，第九届美国计算机学会编程语言原理研讨会会议记录，第207-212页。 谷歌学者 数字图书馆 EST95。 Eifrig，J.、S.Smith和V.Trifonov。 对象的健全多态类型推断。 在OOPSLA’95诉讼中。 ACM，1995年。 出现。 谷歌学者 数字图书馆 FM94。 Fisher，K.和J.C.Mitchell。 类型化面向对象编程注释。 《TACS’94：计算机科学的理论方面》，计算机科学讲义第789页。 Springer-Verlag，1994年，第844-885页。 谷歌学者 GR83级。 Goldberg，A.和D.罗布森。 Smalttalk-80：语言及其实现。 艾迪生-卫斯理，雷丁，马萨诸塞州，1983年。 谷歌学者 数字图书馆 GR93级。 甘斯纳、E.R.和J.H.Reppy。 《多线程高阶用户界面工具包》，《软件趋势》第1卷，第61-80页。 约翰·威利（John Wiley）； 《儿子》，1993年。 谷歌学者 数字图书馆 JM88型。 Jategaonkar，L.和J.C.Mitchell。 具有扩展模式匹配和子类型的ML。 《1988年ACM Lisp和函数编程会议记录》，1988年7月，第198-211页。 谷歌学者 数字图书馆 梅耶92。 梅耶，B.埃菲尔：语言。 普伦蒂斯·霍尔，纽约州纽约市，1992年。 谷歌学者 数字图书馆 米特84。 Mitchell，J.C.胁迫和类型推断（摘要）。 1984年1月，第11届ACM编程语言原理研讨会会议记录，第175-185页。 谷歌学者 数字图书馆 MTH90型。 Milner，R.、M.Tofte和R.Harper。 《标准ML的定义》，麻省理工学院出版社，剑桥，马萨诸塞州，1990年。 谷歌学者 数字图书馆 内尔91。 Nelson，G.（编辑）。 使用Modula-3进行系统编程。 普伦蒂斯·霍尔，新泽西州恩格尔伍德克利夫斯，1991年。 谷歌学者 数字图书馆 第94页。 Palsberg，J.对象类型的有效推断。 第九届IEEE计算机科学逻辑年会论文集，1994年，第186-195页。 谷歌学者 交叉引用 图94。 Pierce，B.有界量化是不可判定的，见C.A.Gunter和J.C.Mitchell（编辑），面向对象编程的理论方面。 《类型、语义和语言设计》，第427-459页。 麻省理工学院出版社，1994年。 谷歌学者 PT93a。 B.C.Pierce和D.N.Turner。 无递归类型的面向对象编程。 1993年1月，第20届ACM编程语言原理年度研讨会会议记录，第299-312页。 谷歌学者 数字图书馆 PT93b。 B.C.Pierce和D.N.Turner。 通过部分抽象类型的静态类型友好函数。 技术报告ECS-LFCS-93-256，爱丁堡大学，LFCS，1993年4月。 也可作为INRIA-Rocquencourt Rapport de Recherche No.1899获得。 谷歌学者 雷姆94。 《面向对象编程的理论方面》，C.a.Gunter和J.C.Mitchell主编。 类型、语义和语言设计，第67-95页。 麻省理工学院出版社，1994年。 另见研究报告14311991年5月，法国INRIA-Rocquencourt。 谷歌学者 数字图书馆 沙94。 邵，Z。为在现代机器上高效执行而编译标准ML。 1994年11月，普林斯顿大学计算机科学系博士论文。 谷歌学者 数字图书馆 解决方案78。 Solomon，M.带参数的类型定义。 1978年1月，第五届ACM编程语言原理研讨会会议记录，第31-38页。 谷歌学者 数字图书馆 阀杆90。 小斯蒂尔（Steele，Jr.）、G.L.《通用语言：语言》（Common Lisp：The Language）。 数字出版社，第二版，1990年。 谷歌学者 数字图书馆 结构94。 Stroustrup，B.C++的设计和发展。 艾迪森·卫斯理，马萨诸塞州雷丁，1994年。 谷歌学者 数字图书馆 TT94段。 Thomp，L.和M.Tofte。 面向对象编程和标准ML。1994年CM-SIGPLAN ML及其应用研讨会记录，1994年6月，第41-49页。 可参见INRIA第2265号研究报告。 谷歌学者 87美元。 Ungar，D.和R.B，Smith。 《自我：简单的力量》，载于《OOPSLA’87会议录》，1987年10月，第227-242页。 谷歌学者 数字图书馆 万87。 Wand，M.简单对象的完整类型推断。 计算机科学逻辑研讨会论文集。 IEEE，1987年，第37-44页。 《计算机科学逻辑研讨会论文集》勘误表，第132页。 IEEE，1988年。 谷歌学者
