@第{zbMATH06796920条，作者={Ba{n}ados Schwerter，Felipe and Garcia，Ronald and Tanter，{E}ric}，标题＝{渐变类型和效果系统}，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN={0956-7968}，体积={26}，页码={66}，注={Id/编号e19}，年份={2016年}，语言={英语}，DOI={10.1017/S0956796816000162}，关键词={68N18,68N30}，zbMATH={6796920}，Zbl=｛1420.68033｝}