约翰·朗奇伯里
人员信息
附属: 美国Galois公司
优化列表
2010 – 2019
2015 [公元40年] 特拉弗·埃利奥特 , 李派克 , 西蒙·温伍德 , 帕特里克·C·希基 , 詹姆斯·贝尔曼 , 杰米·夏普 , 埃里克·L·塞德尔 , 约翰·朗奇伯里 :
无愧疚的象牙。 哈斯克尔 2015 : 189-200 2014 [公元39年] 约翰·朗奇伯里 , 戴夫·阿彻 , 托马斯·杜布森 , 埃里克·默滕斯 :
应用程序级安全多方计算。 员工持股计划 2014 : 8-26 [公元38年] 帕特里克·C·希基 , 李派克 , 特拉弗·埃利奥特 , 詹姆斯·贝尔曼 , 约翰·朗奇伯里 :
使用嵌入式DSL构建嵌入式系统。 ICFP公司 2014 : 3-9 [公元37年] 李派克 , 帕特里克·C·希基 , 詹姆斯·贝尔曼 , 特拉弗·埃利奥特 , 托马斯·杜布森 , 约翰·朗彻伯里 :
高保证自动车辆的编程语言:扩展抽象。 PLPV公司 2014 : 1-2 2013 [公元36年] 约翰·朗奇伯里 , 萨瓦·克里斯蒂 , T.E.绍尔文 :
使用Hyperfunctions对褶皱进行填充。 Dave Schmidt的Festschrift 2013 : 121-135 2012 [公元35年] 约翰·朗奇伯里 , 伊沃·S·迪亚奇基 , 托马斯·杜布森 , 安迪·亚当斯·莫拉 :
安全多方计算中的高效可查找协议。 ICFP公司 2012 : 189-200 2011 [公元34年] 约翰·朗奇伯里 :
密码学中基于定理的电路推导。 GPCE公司 2011 : 185-186 [电子4] 里卡多·罗查 , 约翰·朗彻伯里 :
2011年1月24日至25日,在美国德克萨斯州奥斯汀举行的2011年PADL第13届国际研讨会上,《声明性语言的实用性》。 诉讼程序。 计算机科学课堂讲稿 6539, 施普林格 2011 ,国际标准图书编号 978-3-642-18377-5 [目录] 2010 [公元33年] 约翰·朗奇伯里 , 特拉弗·埃利奥特 :
Haskell中的并发编排。 哈斯克尔 2010 : 79-90
2000 – 2009
2008 [公元32年] 约翰·朗奇伯里 :
工业功能编程。 PADL(PADL) 2008 : 1 2004 [公元31年] 约翰·朗奇伯里 :
Galois:高保证软件。 ICFP公司 2004 : 三 2003 [c30] Premkumar T.Devanbu公司 , 罗伯特·巴尔泽 , 唐·S·巴托里 , 格雷戈·基泽莱斯 , 约翰·朗彻伯里 , 大卫·洛格·帕纳斯 , Peri L.Tarr公司 :
新千年中的模块化:小组摘要。 ICSE公司 2003 : 723-725 2002 [公元9年] 勒文特·埃尔科克 , 约翰·朗奇伯里 , 安德鲁·莫兰 :
一元输入/输出的值递归语义。 RAIRO提奥。 信息学应用。 36 ( 2 ) : 155-180 ( 2002 ) [公元29年] 勒文特·埃尔科克 , 约翰·朗奇伯里 :
Haskell的递归do。 哈斯克尔 2002 : 29-37 [电子3] 约翰·朗奇伯里 , 约翰·米切尔 :
2002年POPL会议记录:第29届SIGPLAN-SIGACT编程语言原理研讨会,波特兰,俄勒冈州,美国,2002年1月16-18日。 ACM公司 2002 ,国际标准图书编号 1-58113-450-9 [目录] 2001 [公元28年] 萨瓦·克里斯蒂 , 约翰·朗奇伯里 , 达斯科·巴甫洛维奇 :
最终余代数中丰富的过程类别。 FoSSaCS公司 2001 : 303-317 2000 [c27] 勒文特·埃尔科克 , 约翰·朗奇伯里 :
递归单数绑定。 ICFP公司 2000 : 174-185 [公元26年] 杰弗里·刘易斯 , 约翰·朗奇伯里 , 梅耶尔 , 希尔兹 :
隐式参数:静态类型的动态范围界定。 POPL公司 2000 : 108-118
1990 – 1999
1999 [公元25年] 约翰·马修斯 , 约翰·朗奇伯里 :
初级微体系结构代数。 CAV汽车 1999 : 288-300 [公元24年] 拜伦·库克 , 约翰·朗奇伯里 , 约翰·马修斯 , 理查德·B·基伯茨 :
显式并行微处理器的形式验证。 CHARME公司 1999 : 23-36 【c23】 约翰·朗奇伯里 , 杰弗里·刘易斯 , 拜伦·库克 :
关于在Haskell中嵌入微架构设计语言。 ICFP公司 1999 : 60-69 1998 [公元22年] 约翰·马修斯 , 拜伦·库克 , 约翰·朗奇伯里 :
Hawk微处理器规范。 ICCL公司 1998 : 90-101 【c21】 西蒙·佩顿·琼斯 , 希尔兹 , 约翰·朗奇伯里 , 安德鲁·托尔马赫 :
桥接海湾:ML和Haskell的通用中间语言。 POPL公司 1998 : 49-61 1997 [公元20年] 约翰·朗奇伯里 , Amr Sabry公司 :
一元状态:公理化和类型安全。 ICFP公司 1997 : 227-238 [第19条] 拜伦·库克 , 约翰·朗奇伯里 :
一次性备忘录功能(扩展摘要)。 ICFP公司 1997 : 310 1996 [j8] 约翰·朗奇伯里 , 盖布雷塞拉西·巴拉基 :
用部分预测表示需求。 J.功能。 程序。 6 ( 4 ) : 563-585 ( 1996 ) [第18条] 约翰·朗奇伯里 , 巴柝声 :
使用未指向类型的参数化和取消装箱。 员工持股计划 1996 : 204-218 [电子2] 约翰·朗奇伯里 , 梅耶尔 , 蒂姆·谢尔德 :
高级函数编程,第二国际学校,奥林匹亚,华盛顿州,美国,1996年8月26日至30日,教程文本。 计算机科学课堂讲稿 1129, 施普林格 1996 ,国际标准图书编号 3-540-61628-4 [目录] 1995 [j7] 约翰·朗奇伯里 , 西蒙·佩顿·琼斯 :
哈斯克尔州。 LISP符号。 计算。 8 ( 4 ) : 293-341 ( 1995 ) [c17] 约翰·朗彻伯里 :
函数风格的图形算法。 高级函数编程 1995 : 308-331 [第16条] 约翰·朗奇伯里 , 蒂姆·谢尔德 :
温馨融合:从递归定义中导出构建数据。 FPCA公司 1995 : 314-323 [第15条] 大卫·J·金 , 约翰·朗奇伯里 :
在Haskell中构造深度优先搜索算法。 POPL公司 1995 : 344-354 1994 [j6] 约翰·休斯 , 约翰·朗奇伯里 :
颠倒抽象解释。 科学。 计算。 程序。 22 ( 三 ) : 307-326 ( 1994 ) [第14条] 约翰·朗奇伯里 , 西蒙·佩顿·琼斯 :
懒惰功能状态线程:摘要。 ICLP公司 1994 : 3-5 [第13条] 约翰·朗奇伯里 , 西蒙·佩顿·琼斯 :
惰性功能状态线程。 PLDI公司 1994 : 24-35 1993 [j5] 西蒙·佩顿·琼斯 , 约翰·休斯 , 约翰·朗奇伯里 :
如何进行良好的研究报告。 ACM SIGPLAN通知 28 ( 11 ) : 9-12 ( 1993 ) [第12条] 大卫·J·金 , 约翰·朗奇伯里 :
深度优先搜索功能图算法(初步总结)。 函数式编程 1993 : 145-155 [第11条] 安德鲁·约翰·吉尔 , 约翰·朗奇伯里 , 西蒙·佩顿·琼斯 :
砍伐森林的捷径。 FPCA公司 1993 : 223-232 [第10条] 约翰·朗奇伯里 :
懒惰评估的自然语义。 POPL公司 1993 : 144-154 [电子1] 约翰·朗奇伯里 , 帕特里克·桑索姆 :
函数编程,格拉斯哥,1992年,1992年格拉斯哥函数编程研讨会论文集,英国苏格兰艾尔,1992年7月6-8日。 计算机研讨会 , 施普林格 1993 ,国际标准图书编号 3-540-19820-2 [目录] 1992 [j4] 约翰·休斯 , 约翰·朗奇伯里 :
抽象解释的关系反转。 J.日志。 计算。 2 ( 4 ) : 465-482 ( 1992 ) [j3] 约翰·休斯 , 约翰·朗奇伯里 :
多态一阶严格性分析的投影。 数学。 结构。 计算。 科学。 2 ( 三 ) : 301-326 ( 1992 ) 【c9】 约翰·休斯 , 约翰·朗奇伯里 :
颠倒抽象解释。 员工持股计划 1992 : 269-286 【c8】 约翰·朗彻伯里 , 安迪·吉尔 , 约翰·休斯 , 西蒙·马洛 , 西蒙·佩顿·琼斯 , 菲利普·沃德勒 :
避免不必要的更新。 函数式编程 1992 : 144-153 1991 【c7】 Ryszard Kubiak公司 , 约翰·休斯 , 约翰·朗奇伯里 :
实施基于投影的严格性分析。 函数式编程 1991 : 207-224 【c6】 约翰·朗奇伯里 :
一个强类型的自适用部分求值器。 FPCA公司 1991 : 145-164 【c5】 西蒙·佩顿·琼斯 , 约翰·朗彻伯里 :
非严格功能语言中作为一级公民的未装箱价值观。 FPCA公司 1991 : 636-666 【c4】 约翰·朗奇伯里 :
严格性和约束时间分析:以一换二。 PLDI公司 1991 : 80-91 1990 [注2] 约翰·朗奇伯里 :
严格性分析有助于归纳证明。 信息处理。 莱特。 35 ( 三 ) : 155-159 ( 1990 ) 【c3】 约翰·休斯 , 约翰·朗奇伯里 :
走向相关的正向和反向分析。 函数式编程 1990 : 101-113
1980 – 1989
1989 【b1】 约翰·朗奇伯里 :
部分求值中的投影因子分解。 英国格拉斯哥大学, 1989 [j1] 弗罗斯特 , 约翰·朗奇伯里 :
用懒惰的功能语言构建自然语言解释器。 计算。 J。 32 ( 2 ) : 108-121 ( 1989 ) [c2] 约翰·朗奇伯里 :
相依和表示绑定时间的分离。 函数式编程 1989 : 238-253 1987 【c1】 盖伊·阿戈 , 约翰·休斯 , 菲利普·特林德 , 乔恩·费尔贝恩 , 约翰·朗奇伯里 :
实施功能数据库。 DBPL公司 1987 : 165-176