引用人
亚洛普J 白色L (2019) 兰姆达:终极副语言(经验报告) 美国计算机学会程序设计语言会议录 10.1145/3342713 三 :ICFP (1-17) 在线发布日期:2019年7月26日 莫雷拉·G Vasconsellos C公司 里贝罗R 卡马尔诺·C 苏尔兹曼M (2018) GADT的类型推断、外入和反统一 第二十二届巴西程序设计语言研讨会会议记录 10.1145/3264637.3264644 (51-58) 在线发布日期:2018年9月20日 果园D 大米A (2014) 程序设计语言研究的计算科学议程 Procedia计算机科学 10.1016/j.procs.2014.05.064 29 (713-727) 网上发布日期:2014年 显示更多引用者