盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的礼貌组合。 (英语) Zbl 07606342号 J.汽车。推理 66,编号3,331-355(2022).理学硕士:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,J.Autom。推理66,No.3,331--355(2022;Zbl 07606342) 全文: 内政部 arXiv公司 链接
盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型理论的礼貌。 (英语) Zbl 07614516号 佩尔蒂埃、尼古拉斯(编辑)等人,《自动推理》。第十届国际联合会议,2020年7月1日至4日,法国巴黎,IJCAR 2020。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12166238-255(2020年)。理学硕士:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人,Lect。注释计算。科学。12166,238--255(2020;Zbl 07614516) 全文: 内政部