引用人
罗斯O 吉尔Y (2023) 函数式语言中的流畅API 美国计算机学会程序设计语言会议录 10.1145/3586057 7 :OOPSLA1 (876-901) 在线发布日期:2023年4月6日 朱H (2021) 角色概念 电子货运和基于角色的协作 10.1002/9781119693123.ch2 (35-67) 在线发布日期:2021年11月19日 秦S He G公司 下巴W Craciun F公司 他是M 明Z (2017) 通过用户定义的谓词在组合域中进行自动规范推理 计算机程序设计科学 2016年10月10日/j.scico.2017.5.007 148 :C (189-212) 在线发布日期:2017年11月15日 显示更多引用人