陈坤;翁淑春;林嘉茵;王蒙;邱小成 通过方面对懒惰的纯函数式语言进行副作用本地化。 (英语) Zbl 1256.68031号 高-订购符号。计算。 24,编号1-2,151-189(2011).MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.Chen}等人,高-订购符号。计算。24,编号1--2,151--189(2011;Zbl 1256.68031) 全文: 内政部 链接
陈坤;翁淑春;王蒙;邱小成;陈忠信 多态类型函数语言方面的类型定向编织。 (英语) Zbl 1209.68105号 科学。计算。程序。 75,第11号,1048-1076(2010).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Chen}等人,科学。计算。程序。75,第11号,1048--1076(2010;Zbl 1209.68105) 全文: 内政部 链接