回溯的相关模型

米切尔·旺德,戴尔·维兰考特.回溯的相关模型.克里斯·冈崎,凯瑟琳·费舍尔,编辑,第九届ACM SIGPLAN功能编程国际会议论文集,2004年ICFP,美国犹他州雪鸟,2004年9月19-21日.54-65、ACM、,2004 [美国国防部]

摘要

缺少摘要。