交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
克里斯·冈崎1999从快速求幂到方阵.第页。28
托尔斯滕·阿滕柯奇和罗伊斯,伯恩哈德1999计算机科学逻辑.第1683卷,问题,第页。453
克里斯·冈崎1999从快速求幂到方阵.ACM SIGPLAN通知,第34卷,发布。9,第页。28
理查德·伯德和罗斯·帕特森1999嵌套数据类型的通用折叠.计算的形式方面,第11卷,发布。2,第页。200
拉尔夫·欣泽2000泛型函数编程的一种新方法.第页。119
拉尔夫·马修斯2001计算机科学逻辑.第2142卷,问题,第页。600
迪米特里·亨德里克斯和文森特·范·奥斯特罗姆2003自动扣除–CADE-19.第2741卷,问题,第页。136
拉尔夫·莱梅尔和西蒙·佩顿·琼斯2003刮掉你的样板.ACM SIGPLAN通知,第38卷,发布。三,第页。26
安德烈亚斯·亚贝尔拉尔夫·马修斯和塔尔莫乌斯塔卢2003软件科学和计算结构基础.第2620卷,问题,第页。54
拉尔夫·拉梅尔和西蒙·佩顿·琼斯2003刮掉你的样板.第页。26
托尔斯滕·阿滕柯奇和康诺·麦克布莱德2003通用编程.第115卷,问题,第页。1
安德烈亚斯·亚贝尔和拉尔夫·马修斯2003证明和程序的类型.第2646卷,问题,第页。1
拉尔夫·马修斯和塔尔莫乌斯塔卢2003变量绑定非完备性语法中的替换.理论计算机科学电子笔记,第82卷,发布。1,第页。191
费利克斯·约阿奇姆斯基2004共导λ-演算的汇聚.理论计算机科学,第311卷,发布。1-3,第页。105
康纳·麦克布莱德和詹姆斯·麦金纳2004功能珍珠.第页。1
拉尔夫·马修斯和塔尔莫乌斯塔卢2004具有变量绑定的非良好语法中的替换.理论计算机科学,第327卷,发布。1-2,第页。155
安德烈亚斯·亚贝尔和拉尔夫·马修斯2004计算机科学逻辑.第3210卷,问题,第页。190
Shan、Chung-chieh2004动作中的性感类型.ACM SIGPLAN通知,第39卷,发布。5中,第页。15
凯文·唐纳利和Xi,宏伟2005ATS中高阶抽象语法与一阶抽象语法的结合.第页。58
康纳·麦克布莱德2005高级函数编程.第3622卷,问题,第页。130