• 贝尔亚科娃J,中B,泰特R和维泰克·J. (2024). Julia存在类型的可判定子类型.美国计算机学会程序设计语言会议录.8：PLDI.(1091-1114).在线发布日期：2024年6月20日.

    https://doi.org/10.1145/3656421

  • 罗斯O和吉尔·Y. (2023). 函数式语言中的流畅API.美国计算机学会程序设计语言会议录.7：OOPSLA1.(876-901).在线发布日期：2023年4月6日.

    https://doi.org/10.1145/3586057

  • 周L,周毅（Zhou Y）和奥利维拉B. (2023). 所有类型的递归子类型.美国计算机学会程序设计语言会议录.7：POPL.(1396-1425).在线发布日期：2023年1月9日.

    https://doi.org/10.1145/3571241

  • 公园G,Hong J（香港）,小斯蒂尔·G和柳S. (2019). 具有方差的多态对称多重调度.美国计算机学会程序设计语言会议录.三：POPL.(1-28).在线发布日期：2019年1月2日.

    https://doi.org/10.1145/3290324

  • Zappa Nardelli F公司,贝尔亚科娃J,佩莱尼琴A,中B,贝赞森J和维泰克·J. (2018). 朱莉娅亚型：理性重构.美国计算机学会程序设计语言会议录.2：OOPSLA公司.(1-27).在线发布日期：2018年10月24日.

    https://doi.org/10.1145/3276483

  • 多兰·S和迈克罗夫特A. (2017). MLsub中的多态性、子类型和类型推断.ACM SIGPLAN通知.52:1.(60-72).在线发布日期：2017年5月11日.

    https://doi.org/10.1145/3093333.3009882

  • 多兰·S和迈克罗夫特A. MLsub中的多态性、子类型和类型推断第44届ACM SIGPLAN程序设计语言原理研讨会论文集。(60-72).

    https://doi.org/10.1145/3009837.3009882

  • Gammie P公司. (2013). 作为功能程序的同步数字电路.倒排索引综述.46:2.(1-27).在线发布日期：2013年11月1日.

    https://doi.org/10.1145/2543581.2543588

  • 艾伦E,希尔本J,基尔帕特里克S,卢昌科五世,Ryu S公司,大通D和钢G. 具有参数多态性和多重继承的类型检查模块多重分派2011年ACM面向对象编程系统语言和应用国际会议论文集。(973-992).

    https://doi.org/10.1145/2048066.2048140

  • 艾伦E,希尔本J,基尔帕特里克S,卢昌科五世,Ryu S公司,大通D和钢G. (2011). 具有参数多态性和多重继承的类型检查模块多重分派.ACM SIGPLAN通知.46:10.(973-992).在线发布日期：2011年10月18日.

    https://doi.org/10.1145/2076021.2048140

  • 阿尔维斯A. 事件处理语言通用扩展系统第五届ACM分布式事件系统国际会议论文集。(1-10).

    https://doi.org/10.1145/2002259.2002261

  • Wehr S公司和蒂曼P. (2011). Java地理信息系统.程序设计语言与系统学报.33:4.(1-83).在线发布日期：2011年7月1日.

    https://doi.org/10.1145/1985342.1985343

  • 留置权D和哈里森·W. 基于应用程序结构的对称封装多方法抽象。2009年ACM应用计算研讨会论文集。(1873-1880).

    https://doi.org/10.1145/1529282.1529702

  • 楔形文字A和维泰克·J. (2007). 一个用于组合定制方法调度器的高效灵活的工具包.软件：实践与经验.10.1002/spe.821.38:1.(33-73).在线发布日期：2008年1月1日.

    https://onlinelibrary.wiley.com/doi/10.1002/spe.821

  • Blume M公司,阿卡尔U和Chae W公司. 具有一流案例的可扩展编程第十一届ACM SIGPLAN功能编程国际会议记录。(239-250).

    https://doi.org/10.1145/1159803.1159836

  • Blume M公司,阿卡尔U和Chae W公司. (2006). 具有一流案例的可扩展编程.ACM SIGPLAN通知.41:9.(239-250).在线发布日期：2006年9月16日.

    https://doi.org/10.1145/1160074.1159836

  • 费尔南德斯M和弗莱特F. 历史上的函数和面向对象微积分第八届ACM SIGPLAN声明性编程原理和实践国际会议记录。(145-156).

    https://doi.org/10.1145/1140335.1140353

  • 李·K和C室. 类和可扩展函数的参数化模块第20届欧洲面向对象编程会议记录。(353-378).

    https://doi.org/10.1007/11785477_21

  • 波蒂埃F和更高的N. (2006). 多形型非功能化与具体化.高阶和符号计算.19:1.(125-162).在线发布日期：2006年3月1日.

    https://doi.org/10.1007/s10990-006-8611-7

  • 楔形文字A和维泰克·J. PolyD公司第20届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集。(487-503).

    https://doi.org/10.1145/1094811.1094849

  • 楔形文字A和维泰克·J. (2005). PolyD公司.ACM SIGPLAN通知.40:10.(487-503).在线发布日期：2005年10月12日.

    https://doi.org/10.1145/103845.10494849

  • Forax R公司,杜利斯E和罗塞尔G. (2004). Java多方法的反思性实现.IEEE软件工程汇刊.30:12.(1055-1071).在线发布日期：2004年12月1日.

    https://doi.org/10.109/TSE.2004.90

  • 米尔斯坦T,Bleckner C公司和C室. (2004). 用于分层可扩展数据类型和函数的模块化类型检查.程序设计语言与系统学报.26:5.(836-889).在线发布日期：2004年9月1日.

    https://doi.org/10.1145/1018203.1018207

  • 阀盖D. (2003). 使用种类键入部分多态方法.理论计算机科学电子笔记.10.1016/S1571-0661（04）80777-1.75.(21-40).在线发布日期：2003年2月1日.

    https://linkinghub.elsevier.com/retrieve/pii/S1571066104807771

  • 西蒙内特五世. (2003). 带结构子类型的类型推断：高效约束求解器的忠实形式化编程语言和系统。10.1007/978-3-540-40018-9_19.(283-302).

    http://link.springer.com/10.1007/978-3-540-40018-9_19

  • 米尔斯坦T,Bleckner C公司和C室. 分层可扩展数据类型和函数的模块化类型检查第七届ACM SIGPLAN功能编程国际会议记录。(110-122).

    https://doi.org/10.1145/581478.581489

  • 米尔斯坦T,Bleckner C公司和C室. (2002). 分层可扩展数据类型和函数的模块化类型检查.ACM SIGPLAN通知.37:9.(110-122).在线发布日期：2002年9月17日.

    https://doi.org/10.1145/583852.581489

  • 诺德兰德J. (2002). O'Haskell的多态亚型.计算机程序设计科学.10.1016/S0167-6423（02）00026-6.43:2-3.(93-127).在线发布日期：2002年5月1日.

    http://linkinghub.elsevier.com/retrieve/pii/S0167642302000266

  • 米尔斯坦T和C室. (2002). 模块静态类型的多方法.信息与计算.2006年10月10日/inco.2002.3103.175:1.(76-118).在线发布日期：2002年5月1日.

    http://linkinghub.elsevier.com/retrieve/pii/S0890540102931032

  • 弗雷A. (2002). 多项式空间中满足子类型不等式.理论计算机科学.277:1-2.(105-117).在线发布日期：2002年4月28日.

    https://doi.org/10.1016/S0304-3975(00)00314-5

  • 雷米·D. (2002). 使用、理解和解开OCaml语言——从实践到理论和反面应用语义学。10.1007/3-540-45699-6_9.(413-536).

    http://link.springer.com/10.1007/3-540-45699-6_9

  • 波蒂埃F. (2001). 简化子类型约束.信息与计算.170:2.(153-183).在线发布日期：2001年11月11日.

    https://doi.org/10.1006/inco.2001.2963

  • 达根D. (2001). 具有显式多态性的有限亚型推理.计算机程序设计科学.39:1.(57-92).在线发布日期：2001年1月1日.

    https://doi.org/10.1016/S0167-6423(00)00013-7

  • 克利夫顿C,Leavens G公司,C室和米尔斯坦T. (2000). 多Java.ACM SIGPLAN通知.35:10.(130-145).在线发布日期：2000年10月1日.

    https://doi.org/10.1145/354222.353181

  • 克利夫顿C,Leavens G公司,C室和米尔斯坦T. 多Java第15届ACM SIGPLAN面向对象编程、系统、语言和应用会议记录。(130-145).

    https://doi.org/10.1145/353171.353181

  • Forax R公司,杜利斯E和罗塞尔G. Java多方法框架第37届面向对象语言和系统技术国际会议。工具-太平洋2000。10.1109/工具.2000.891357.0-7695-0918-5.(45-56).

    http://ieeexplore.ieee.org/document/891357/

  • 米尔斯坦T和C室. (1999). 模块化静态类型多方法.ECOOP'99-面向对象编程。10.1007/3-540-48743-3_13.(279-303).

    http://link.springer.com/10.1007/3-540-48743-3_13

  • 利特维诺夫五世. (1998). Cecil中基于避孕药的多态性.ACM SIGPLAN通知.33:10.(388-411).在线发布日期：1998年10月1日.

    https://doi.org/10.1145/286942.286979

  • Leavens G公司和米尔斯坦T. (1998). 在Tuples上进行多次调度.ACM SIGPLAN通知.33:10.(374-387).在线发布日期：1998年10月1日.

    https://doi.org/10.1145/286942.286977

  • 利特维诺夫五世. Cecil中基于避孕药的多态性第13届ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集。(388-411).

    https://doi.org/10.1145/286936.286979

  • Leavens G公司和米尔斯坦T. 在Tuples上进行多次调度第13届ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集。(374-387).

    https://doi.org/10.1145/286936.286977

  • 米夫勒M,尼伦J和树R. 特征树上排序约束的一阶理论第13届IEEE计算机科学逻辑年会。10.1109/LICS.1998.705677.0-8186-8506-9.(432-443).

    http://ieeexplore.ieee.org/document/705677/

  • 杜根D. (1998). 具有显式多态性的有限子类型推理.静态分析。10.1007/3-540-49727-7_18.(295-310).

    http://link.springer.com10.1007/3-540-49727-7_18

  • 米勒·M和西村S. (1998). 具有特征约束的一类消息的类型推断亚洲计算科学进展98。10.1007/3-540-49366-2_14.(169-187).

    http://link.springer.com/10.1007/3-540-49366-2_14