引用人
Adsit C公司 凹槽M (2014) 系统F的有效类型和控制流分析 2014年第26届函数式语言实现与应用国际研讨会论文集 10.1145/2746325.2746327 (1-14) 在线发布日期:2014年10月1日 凹槽M (2013) 系统F的类型和控制流分析 函数语言的实现与应用 10.1007/978-3-642-41582-1_8 (122-139) 在线发布日期:2013年11月16日 Mielniczuk P公司 帕霍尔斯基L (2006) Tarskian集合约束在NEXPTIME中 1998年计算机科学数学基础 2007年10月10日/BFb0055809 (589-596) 在线发布日期:2006年5月28日 显示更多引用者