引用人
艾森伯格R 杜博克G 威里奇S 李·D (2021) 解决了存在危机:一级存在类型的类型推理 美国计算机学会程序设计语言会议录 10.1145/3473569 5 :ICFP (1-29) 在线发布日期:2021年8月19日 帕罗L (2020) 代数子类型的简单本质:具有子类型的主类型推理变得容易(函数珍珠) 美国计算机学会程序设计语言会议录 10.1145/3409006 4 :ICFP (1-28) 在线发布日期:2020年8月3日 Downen公司 沙利文Z 阿里奥拉Z 佩顿·琼斯 (2019) 行动中的法典 编程语言和系统 10.1007/978-3-030-17184-1_5 (119-146) 在线发布日期:2019年4月6日 显示更多引用者