@收款{zbMATH06481633，作者={Hinze，Ralf}，标题={派生回溯单体转换器}，BookTitle={第五届ACM SIGPLAN函数编程国际会议论文集，ICFP'00，加拿大蒙特利尔，2000年9月18日至21日}，国际标准图书编号={1-58113-202-6}，页码={186--197}，年份＝{2000}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/351240.351258}，关键词={68N30,68N17,68N18}，zbMATH＝{6481633}，Zbl=｛1321.68195｝}