Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户,可以创建一个带有出版物列表的配置文件,标记并审阅您的相关工作,以及与您的合著者共享书目。
马修·拉金,安德鲁·皮特斯.高阶类型函数编程中用活页夹求解归纳定义.在朱塞佩·卡斯塔尼亚,编辑器,《编程语言与系统》,第18届欧洲编程研讨会,ESOP 2009,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2009,英国约克,2009年3月22日至29日。诉讼.第5502卷计算机科学课堂讲稿,页47-61、施普林格、,2009 [美国国防部]
缺少摘要。