引用人
库达索夫N 模拟V (2022) 形式化-微积分:装饰物的纯面向对象的微积分 第24届ACM类Java程序形式化技术国际研讨会论文集 10.1145/3611096.3611103 (29-36) 在线发布日期:2022年6月7日 贝尔亚科娃J 默里T 恩斯特G (2019) 名词类型、元组和联合的基于标记的可决定语义子类型 第21届类Java程序形式化技术研讨会会议记录 10.1145/3340672.3341115 (1-11) 在线发布日期:2019年7月15日 停车场G Hong J(香港) 小斯蒂尔·G Ryu S公司 (2019) 具有方差的多态对称多重调度 美国计算机学会程序设计语言会议录 10.1145/3290324 三 :POPL (1-28) 在线发布日期:2019年1月2日 显示更多引用者