@第{zbMATH06796941条,作者={Smallbone、Nicholas和Johansson、Moa和Claessen、Koen和Algehed、Maximilian},标题={忙碌程序员的快速规范},FJournal={函数编程杂志},日志={J.Funct.Program.},ISSN={0956-7968},体积={27},页码={49},注={Id/编号e18},年份={2017年},语言={英语},DOI={10.1017/S0956796817000090},关键词={68N18},zbMATH={6796941},Zbl={1418.68037}}