陈盛；努尔，Md Rabib 改进类型类的类型错误报告。 （英语） Zbl 07570112号 Hanus，Michael（编辑）等人，《函数和逻辑编程》。第16届国际研讨会，FLOPS 2022，日本京都，2022年5月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13215, 19-38 (2022).MSC公司：68N17号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}和\textit{M.R.Noor}，Lect。注释计算。科学。13215、19-38（2022；Zbl 07570112） 全文： 内政部
陈盛；马丁·埃尔维格 系统识别和交流类型错误。 （英语） Zbl 1476.68050号 J.功能。程序。 28，论文编号e2，第48页（2018）.MSC公司：68甲18 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{S.Chen}和\textit{M.Erwig}，J.Funct。程序。28，论文编号e2，48 p.（2018；Zbl 1476.68050） 全文： 内政部