帕特里夏·约翰;恩里科·吉奥尔齐 嵌套类型和GADT的参数化。 （英语） Zbl 07471683号 日志。方法计算。科学。 17，第4号，第23号论文，50页（2021年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}和\textit{E.Ghiorzi}，日志。方法计算。科学。17，第4号，第23号论文，50页（2021；Zbl 07471683） 全文： arXiv公司 链接
帕特里夏·约翰;恩里科·吉奥尔齐;丹尼尔·杰弗里斯 基元嵌套类型的参数性。 （英语） Zbl 07410432号 Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 324-343 (2021).MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Johann}等人，Lect。注释计算。科学。12650324--343（2021；Zbl 07410432） 全文： 内政部