乔恩·里克
人员信息
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2000 – 2009
2002 [公元12年] 乔恩·里克 , 克里斯托弗·斯通 :
通过订阅进行隐私保护。 Inf.计算。 172 ( 1 ) : 2-28 ( 2002 ) [公元11年] 乔恩·里克 , 安德斯·桑德霍姆 :
回调序列的关系描述。 Inf.计算。 179 ( 2 ) : 296-331 ( 2002 ) 2001 【c21】 阿妮迪亚·巴苏 , 乔恩·里克 :
OSPF路由中的稳定性问题。 SIGCOMM公司 2001 : 225-236 [公元20年] 安妮迪亚·班纳吉 , 内文·海因策 , 乔恩·里克 :
基于控制流分析的程序转换的设计和正确性。 战术计算机 2001 : 420-447 2000 [第19条] 凯瑟琳·费舍尔 , 约翰·雷皮 , 乔恩·里克 :
编译和链接类的微积分。 员工持股计划 2000 : 135-149
1990 – 1999
1999 [j10] 乔恩·里克 , 拉梅什·苏布拉曼尼亚姆 :
函数和代数等式推理完成的条件。 数学。 结构。 计算。 科学。 9 ( 6 ) : 651-685 ( 1999 ) [公元9年] 乔恩·里克 :
关于POPL 1999的报告。 SIGACT新闻 30 ( 1 ) : 28-29 ( 1999 ) [第18条] 乔恩·G·里克 , Hayo Thielecke先生 :
键入的Exeptions和Continuations无法相互宏表达。 ICALP公司 1999 : 635-644 [第17条] 安妮迪亚·班纳吉 , 内文·海因策 , 乔恩·里克 :
区域分析和多态Lambda演算。 低收入国家 1999 : 88-97 [第16条] 马丁·阿巴迪 , 安妮迪亚·班纳吉 , 内文·海因策 , 乔恩·里克 :
依赖的核心演算。 POPL公司 1999 : 147-160 1998 [第15条] 内文·海因策 , 乔恩·里克 :
SLam微积分:具有保密性和完整性的编程。 POPL公司 1998 : 365-377 1997 [j8] 约翰·米切尔 , 乔恩·里克 :
编程结构分析。 SIGACT新闻 28 ( 2 ) : 24-31 ( 1997 ) [j7] 乔恩·里克 :
程序语言语义:计算结构的描述。 ACM SIGPLAN通知 32 ( 1 ) : 106-109 ( 1997 ) [第14条] 乔恩·里克 , 安德斯·桑德霍姆 :
回调序列的关系描述。 低收入国家 1997 : 258-267 1996 [j6] 乔恩·G·里克 :
语义学:计算结构的描述。 ACM计算。 Surv公司。 28 ( 4秒 ) : 173 ( 1996 ) [j5] 贾瓦哈尔·奇里马尔 , 卡尔·A·冈特 , 乔恩·里克 :
参考计数作为线性逻辑的计算解释。 J.功能。 程序。 6 ( 2 ) : 195-244 ( 1996 ) [第13条] 约翰·雷皮 , 乔恩·里克 :
标准ML的简单对象。 PLDI公司 1996 : 171-180 1995 【j4】 乔恩·里克 :
Statman的1-截面定理。 Inf.计算。 116 ( 2 ) : 294-303 ( 1995 ) [j3] 彼得·W·奥赫恩 , 乔恩·里克 :
克里普克逻辑关系和PCF。 Inf.计算。 120 ( 1 ) : 107-116 ( 1995 ) [第12条] 卡尔·A·冈特 , 迪迪埃·雷米 , 乔恩·里克 :
类ML语言中异常和控制的泛化。 FPCA公司 1995 : 12-23 [第11条] 乔恩·里克 , 拉梅什·维斯瓦纳坦 :
在顺序语言中隔离副作用。 POPL公司 1995 : 1-12 1994 [第10条] 彼得·W·奥赫恩 , 乔恩·里克 :
完全抽象翻译和参数多态性。 员工持股计划 1994 : 454-468 【c9】 乔恩·里克 , 拉梅什·苏布拉曼尼亚姆 :
类型系统的扩展可以保持操作等价性。 战术计算机 1994 : 76-95 1993 [注2] 乔恩·里克 :
函数语言之间的完全抽象翻译。 数学。 结构。 计算。 科学。 三 ( 4 ) : 387-415 ( 1993 ) [j1] 乔恩·里克 :
书评:动作语义。 作者:Peter D.Mosses。 (剑桥大学出版社,1992年。 xx+372页。 国际标准图书编号0-521-40347-2$ 49.95). SIGACT新闻 24 ( 2 ) : 24-25 ( 1993 ) 【c8】 乔恩·里克 :
界定影响范围。 FPCA公司 1993 : 146-158 【c7】 乔恩·里克 , 拉梅什·苏布拉曼尼亚姆 :
类型语言中的代数推理和完备性。 POPL公司 1993 : 185-195 1992 【c6】 贾瓦哈尔·奇里马尔 , 卡尔·A·冈特 , 乔恩·里克 :
证明基于线性逻辑的语言的内存管理不变量。 LISP与函数编程 1992 : 139-150 1991 【c5】 乔恩·里克 :
函数语言之间的完全抽象翻译。 POPL公司 1991 : 245-254 1990 【c4】 乔恩·里克 :
完整且可决定的Call-by Value Equalities证明系统(初步报告)。 ICALP公司 1990 : 20-31 【c3】 斯塔夫罗斯·科斯马达基斯 , 阿尔伯特·梅耶 , 乔恩·里克 :
类型惰性不等式的完备性。 低收入国家 1990 : 312-320
1980 – 1989
1988 【c2】 阿尔伯特·梅耶 , 乔恩·里克 :
延续可能是不合理的。 LISP与函数编程 1988 : 63-71 1987 [c1] 金·布鲁斯 , 乔恩·里克 :
米兰达代数类型的语义。 MFPS公司 1987 : 455-473
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)