摘要
1 样式：Scheme的实用类型检查器。 地址：Informatik-Bericht 93-10，布伦瑞克理工大学。 谷歌学者 
2 Scheme的一个实用的软类型系统。 In:技术报告COMP TR93-918，德克萨斯州休斯顿莱斯大学计算机科学系。 谷歌学者 三。 摘自：《策划与编程艺术》，纽约州纽约市麦格劳-希尔。 谷歌学者 4 In:Clinger，W.，Rees，J.（编辑），算法语言方案修订报告， 谷歌学者 5 主体类型方案和lambda-calculus语义。 摘自：Seldin，J.P.，Hindley，J.R.（编辑），To H.B.Curry：《组合逻辑、Lambda微积分和形式主义论文》，学术出版社，纽约州纽约市。 第535-560页。 谷歌学者 6 基本多态类型检查。 计算机程序设计科学。 第8节147-172。 谷歌学者 7 程序设计中的一种类型多态性理论。 计算机与系统科学杂志。 v17.348-375。 谷歌学者 8 可变完整性程序的类型重建。 1994年ACM LISP和函数编程会议记录，第239-249页。 谷歌学者 9 《计算机程序的结构与解释》，麻省理工学院出版社，马萨诸塞州剑桥。 谷歌学者 10. 多态性类型分析中的限制量化。 收录：康奈尔大学博士论文。 谷歌学者 11 In：语义原型系统（SPS）参考手册， 谷歌学者 12. 软类型：动态类型语言的类型检查方法。 发表于：莱斯大学博士论文。 谷歌学者 13. 方案中的控制流分析。 在：ACM SIGPLAN通告，ACM SIGPLAN 1988年编程语言设计和实现会议记录，第23卷。 第164-174页。 谷歌学者
建议
多态类型和存在类型的类型检查和推理 CATS’09：第十五届澳大利亚计算机研讨会论文集：澳大利亚理论-第94卷 本文证明了具有多态类型和存在类型的类型lambda演算的一些变体中的类型检查和类型推理问题的不可判定性。 首先，证明了无域多态lambda演算中的类型推理是。。。 类lisp多阶段语言的多态模式类型系统 POPL'06：第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 本文提出了一个多态模态类型系统及其主类型推理算法，该算法通过Lisp的所有阶段结构（准引用系统）保守地扩展了ML。 这种组合很有意义，因为ML是一种实用的。。。
