盛英;尤尼·佐哈尔;克里斯托夫·林盖森;简·兰格;帕斯卡·方丹;克拉克·巴雷特 代数数据类型的礼貌组合。 （英语） Zbl 07606342号 J.汽车。推理 66，编号3，331-355（2022）.MSC公司：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年）。MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sheng}等人，Lect。注释计算。科学。12166，238--255（2020；Zbl 07614516） 全文： 内政部