@第{zbMATH07453895条，作者={Qu，Weihao and Gaboardi，Marco and Garg，Deepak}，标题={功能命令设置中的关系成本分析}，FJournal={函数编程杂志}，日志={J.Funct.Program.}，ISSN={0956-7968}，体积={31}，页码={62}，注={Id/编号e27}，年份={2021}，语言={英语}，DOI＝{10.1017/S0956796821000071}，关键词={68N18}，zbMATH={7453895}，Zbl={1529.68076}}