高阶类型函数编程中用活页夹求解归纳定义

马修·拉金,安德鲁·皮特斯.高阶类型函数编程中用活页夹求解归纳定义.朱塞佩·卡斯塔尼亚,编辑器,《编程语言与系统》,第18届欧洲编程研讨会,ESOP 2009,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2009,英国约克,2009年3月22日至29日。诉讼.第5502卷计算机科学课堂讲稿,页47-61、施普林格、,2009 [美国国防部]

摘要

缺少摘要。