引用人
Severi P公司 帕多瓦尼L Tuosto E公司 Dezani-Ciancaglini M公司 (2016) 关于会话和无限数据 协调模型和语言 10.1007/978-3-319-39519-7_15 (245-261) 在线发布日期:2016年5月24日 克鲁斯顿R 比兹亚克A 格雷斯沃尔H Birkedal L公司 (2015) 共导类型的保护递归编程与推理 编译器构造 10.1007/978-3-662-46678-0_26 (407-421) 在线发布日期:2015年 洞穴A 费雷拉F 帕南加登P Pientka B型 (2014) 公平反应式编程 ACM SIGPLAN通知 10.1145/2578855.2535881 49 :1 (361-372) 在线发布日期:2014年1月8日 显示更多引用者