引用人 155 -
引用人 交叉引用引用 这本书已经 以下出版物引用。 此列表是根据提供的数据生成的 交叉参考 .
大卫·哈雷 和 伊莎·费尔德曼 1987 算法 . 第页。 91
理查德·伯德 和 罗斯·帕特森 1999 嵌套数据类型的通用折叠 . 计算的形式方面, 第11卷, 发布。 2, 第页。 200
拉尔夫·欣泽 1999 功能和逻辑编程 . 第1722卷, 问题, 第页。 21
蒂姆·谢尔德 1999 高级函数编程 . 第1608卷, 问题, 第页。 207
克劳迪奥·鲁索。 2000 编程语言和系统 . 第1782卷, 问题, 第页。 336
拉尔夫·欣泽 2000 程序构造数学 . 第1837卷, 问题, 第页。 2
克劳迪奥·拉索五世。 2001. 标准ML的递归结构 . ACM SIGPLAN通知, 第36卷, 发布。 10, 第页。 50
瓦利德塔哈 保罗·哈达克 和 Wan、Zhanyong 2001. 嵌入式软件 . 第2211卷, 问题, 第页。 185
米盖尔·巴雷罗 古利亚斯,维克托·M·。 胡安·桑切斯。 和 圣地亚哥豪尔赫 2001. 计算机辅助系统理论-EUROCAST 2001 . 第2178卷, 问题, 第页。 540
拉尔夫·欣泽 2001. 优先级搜索队列的一种简单实现技术 . 第页。 110
拉尔夫·欣泽 2001. 优先级搜索队列的一种简单实现技术 . ACM SIGPLAN通知, 第36卷, 发布。 10, 第页。 110
斯特凡·爱德坎普 和 彼得·莱文 2002 编程、人工智能和推理逻辑 . 第2514卷, 问题, 第页。 145
C.A.斯坦因。 医学博士塔克。 和 M.I.萨尔茨。 2002 在对等存储上构建可靠的可变文件系统 . 第页。 324
拉尔夫·欣泽 和 约翰·杰林 2003 通用编程 . 第2793卷, 问题, 第页。 1.
迪德里克·范·阿克尔 约翰·范格罗宁根 和 斯贾克斯迈策斯 2003 函数式语言的实现 . 第2670卷, 问题, 第页。 51
杰德·刘 和 安德鲁·迈尔斯(Andrew C.Myers)。 2003 声明语言的实用方面 . 第2562卷, 问题, 第页。 110
尼古拉斯·欧里 2003 类型化Lambda演算及其应用 . 第2701卷, 问题, 第页。 271
维塔利湖 弗雷德·梅斯纳德 和 彼得·斯图基(Peter J.Stuckey)。 2003 逻辑程序设计 . 第2916卷, 问题, 第页。 254.
安东·塞泽尔 2003 证明和程序的类型 . 第2646卷, 问题, 第页。 279
拉尔夫·欣泽 和 约翰·杰林 2003 通用编程 . 第2793卷, 问题, 第页。 57
出版商: 剑桥大学出版社 在线发布日期: 2009年9月 打印出版年份: 1998 在线ISBN: 9780511530104