AM91。 A.Aiken和B.Murphy。 实现正则树表达式。 《函数编程语言和计算机体系结构1991年会议录》，第427-447页，1991年8月。]] 谷歌学者 
数字图书馆 
AW92a系列。 A.Aiken和E.Wimmers。 求解集合约束系统。 1992年6月，第329-340页，计算机科学中的逻辑专题讨论会。]] 谷歌学者 交叉引用 
AW92b系列。 A.Aiken和E.Wimmers。 带有集合约束的类型推断。 研究报告8956，IBM，1992。]] 谷歌学者 B+89。 J.Backus等人，《外语语言手册》，第一部分和第二部分。 研究报告RJ 7100，IBM，1989年。]] 谷歌学者 CF91标准。 R.Cartwright和M.Fagan。 SoR键入。 1991年6月，第278-292页，《A CM SIGPLAN’91程序、ng语言设计和实现会议论文集》。]] 谷歌学者 数字图书馆 CW85。 L.Cardelli和P.Wegner。 关于理解类型、数据抽象和多态性。 计算机调查，17（4）：471-5221985年12月。]] 谷歌学者 数字图书馆 FM88。 Y.Fuh和P.Mishra。 具有子类型的类型推理。 1988年欧洲编程研讨会论文集，第94-114页，1988年。]] 谷歌学者 数字图书馆 欣69。 R.欣德利。 组合逻辑中对象的主要类型方案。 美国数学学会学报，146:29-601969年。]] 谷歌学者 KPS92。 D.Kozen、J.Palsberg和M.I.Schwartzbach。 部分类型的有效推理。 《计算机科学基础》，1992年。 出现。]] 谷歌学者 数字图书馆 米尔78。 R.Milner。 程序设计中的一种类型多态性理论。 《计算机与系统科学杂志》，17:348-3751978年。]] 谷歌学者 米特84。 J.米切尔。 强制和类型推断（摘要）。 1984年1月，第十一届CM年会，关于编程语言原则，第175-185页。]] 谷歌学者 数字图书馆 MPS84。 D.MacQueen、G.Plotkin和R.Sethi。 递归多边形类型的理想模型。 在1984年1月第165-174页举行的第十一届Princzples o/Programmingng语言年度构型管理研讨会上。]] 谷歌学者 数字图书馆 MR85。 P.Mishra和U.Reddy。 无声明类型检查。 1985年第十二届CM年度研讨会论文集，第7-21页。]] 谷歌学者 数字图书馆 OW92。 P.N.O'Keefe和M.Wand。 分部类型的类型推断是可判定的。 《1992年欧洲编程交响曲会议录》，1992年。]] 谷歌学者 数字图书馆 雷伊85。 J.C.雷诺兹。 类型结构的三种方法。 程序中。 TAPSOFT关于软件开发中语义ROle的高级研讨会，柏林，1985年3月。 施普林格计算机科学讲稿。]] 谷歌学者 数字图书馆 罗布65。 J.A.罗宾逊。 基于解析原理的面向机器的逻辑。 美国医学会杂志，12（1）：23-411965。]] 谷歌学者 数字图书馆 第88页。 S.Thatte。 使用分部类型进行类型推断。 《自动化，语言与编程：第15届国际学术讨论会》，第615-629页。 Springer-Verlag计算机科学讲稿，第317卷，1988年7月。]] 谷歌学者 数字图书馆 万87。 M·旺德。 类型推理的简单算法和证明。 基础信息学，X:115-1221987。]] 谷歌学者
建议
从ML型推理到分层型推理 第十届ACM SIGPLAN功能编程国际会议记录 辛德利和米尔纳的类型系统，以其最纯粹的形式，允许人们称之为完全类型推理。 即使程序不包含显式类型信息，其结构本身也会导致类型方程的连接（或者，更广泛地说，是一个。。。
