引用人
克莱门特B 雷米·D 拉丹·G (2024) 用透明性实现OCaml模块 美国计算机学会程序设计语言会议录 10.1145/3649818 8 :OOPSLA1 (194-222) 在线发布日期:2024年4月29日 班纳吉A 长崎R 诺曼D Nikouei M公司 (2023) 一种具有数据抽象和动态框架的关系程序逻辑 程序设计语言与系统学报 10.1145/3551497 44 :4 (1-136) 在线发布日期:2023年1月10日 艾森伯格R 杜博克G 威里奇S 李·D (2021) 解决了存在危机:一级存在类型的类型推理 美国计算机学会程序设计语言会议录 10.1145/3473569 5 :ICFP (1-29) 在线发布日期:2021年8月19日 显示更多引用者