@第{zbMATH06796952条，作者={齐利亚尼，贝塔和索索，马蒂厄}，标题={CIC}新统一器的可理解指南，包括宇宙多态性和重载}，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN={0956-7968}，体积={27}，页码={63}，注={Id/No e10}，年份={2017年}，语言={英语}，DOI={10.1017/S095679681700028}，关键词={68T15}，zbMATH＝{6796952}，Zbl=｛1418.68185｝}