萨姆·林德利
人员信息
优化列表
2020年–今天
2024 [公元19年] 丹尼尔·希勒斯特伦 , 萨姆·林德利 , 约翰·朗利 :
通过效果处理程序的渐进加速。 J.功能。 程序。 34 ( 2024 ) [公元18年] 安东·洛伦岑 , Daan Leijen公司 , 沃特·斯威斯特拉 , 萨姆·林德利 :
强制性二叉搜索树的功能本质。 程序。 ACM计划。 语言。 8 ( PLDI公司 ) : 518-542 ( 2024 ) [公元17年] 杨东军(Dongjun Youn) , Wonho Shin公司 , 李在云 , 苏京琉 , 约阿希姆·布雷特纳 , 菲利普·加德纳 , 萨姆·林德利 , 马蒂亚·普雷特纳 , 肖家饶 , 康拉德·瓦特 , 安德烈亚斯·罗斯伯格 :
使用SpecTec加快WebAssembly标准。 程序。 ACM计划。 语言。 8 ( PLDI公司 ) : 1559-1584 ( 2024 ) [公元16年] 文浩堂 , 丹尼尔·希勒斯特罗姆 , 萨姆·林德利 , J.加勒特·莫里斯 :
良好的线性处理。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 1600-1628 ( 2024 ) [c39] 萨姆·林德利 , 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 , 尼古拉斯·吴 , 杨志轩 :
作为参数化代数理论的范围效应。 员工持股计划(1) 2024 : 3-21 [公元38年] 西蒙·福勒 , 菲利普·哈勒 , 罗兰·库恩 , 萨姆·林德利 , Alceste标量 , Vasco T.Vasconcelos公司 :
异构系统的行为类型(建议书)。 地点@ETAPS 2024 : 37-48 [第23条] 萨姆·林德利 , 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 , 尼古拉斯·吴 , 杨志轩 :
作为参数化代数理论的范围效应。 CoRR公司 abs/2402.03103 ( 2024 ) [i22] 文浩堂 , 里奥·怀特 , 斯蒂芬·多兰 , 丹尼尔·希勒斯特罗姆 , 萨姆·林德利 , 安东·洛伦岑 :
模态效果类型。 CoRR公司 abs/2407.11816 ( 2024 ) 2023 [公元15年] 西蒙·福勒 , 文科克 , 奥内拉·达达 , 萨姆·林德利 , J.加勒特·莫里斯 :
顺利分离会话。 日志。 方法计算。 科学。 19 ( 三 ) ( 2023 ) [公元14年] 卢娜·菲普斯·科斯汀 , 安德烈亚斯·罗斯伯格 , 阿琼·古哈 , Daan Leijen公司 , 丹尼尔·希勒斯特罗姆 , K.C.西瓦拉马克里希南 , 马蒂亚·普雷特纳 , 萨姆·林德利 :
使用效果处理程序继续WebAssembly。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 460-485 ( 2023 ) [j13] 文浩堂 , 丹尼尔·希勒斯特伦 , 詹姆斯·麦金纳 , 米歇尔·斯特沃 , 奥内拉·达达 , 傅荣孝 , 萨姆·林德利 :
作为参数多态性的结构子类型。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) : 1093-1121 ( 2023 ) 【i21】 汤文浩 , 丹尼尔·希勒斯特罗姆 , 詹姆斯·麦金纳 , 米歇尔·斯特沃 , 奥内拉·达达 , 傅荣孝 , 萨姆·林德利 :
作为参数多态性的结构子类型。 CoRR公司 abs/2304.08267 ( 2023 ) [i20] 文浩堂 , 丹尼尔·希勒斯特罗姆 , 萨姆·林德利 , J.加勒特·莫里斯 :
良好的线性处理。 CoRR公司 abs/2307.09383 ( 2023 ) [i19] 卢娜·菲普斯·科斯汀 , 安德烈亚斯·罗斯伯格 , 阿琼·古哈 , Daan Leijen公司 , 丹尼尔·希勒斯特罗姆 , K.C.西瓦拉马克里希南 , 马蒂亚·普雷特纳 , 萨姆·林德利 :
使用效果处理程序继续WebAssembly。 CoRR公司 abs/2308.08347 ( 2023 ) [i18] 约阿希姆·布雷特纳 , 菲利普·加德纳 , 李在云 , 萨姆·林德利 , 马蒂亚·普雷特纳 , 肖家饶 , 安德烈亚斯·罗斯伯格 , 苏京琉 , Wonho Shin公司 , 康拉德·瓦特 , 杨东军(Dongjun Youn) :
Wasm SpecTec:设计正式语言标准。 CoRR公司 abs/2311.07223 ( 2023 ) 2022 [公元12年] 弗兰克·埃里奇 , 简·斯托拉雷克 , 詹姆斯·切尼 , 萨姆·林德利 :
FreezeML的基于约束的类型推断。 程序。 ACM计划。 语言。 6 ( ICFP公司 ) : 570-595 ( 2022 ) [公元11年] 丹·吉卡(Dan R.Ghica) , 萨姆·林德利 , 马科斯·马洛尼亚斯·布拉沃 , 马西耶·皮罗格 :
C++中的高级效果处理程序。 程序。 ACM计划。 语言。 6 ( OOPSLA2公司 ) : 1639-1667 ( 2022 ) [i17] 弗兰克·埃里奇 , 简·斯托拉雷克 , 詹姆斯·切尼 , 萨姆·林德利 :
FreezeML的基于约束的类型推理。 CoRR公司 abs/2207.09914 ( 2022 ) 2021 [公元37年] 西蒙·福勒 , 文科克 , 奥内拉·达达 , 萨姆·林德利 , J.加勒特·莫里斯 :
顺利分离会话。 CONCUR公司 2021 : 36:1-36:18 [公元36年] 纳奇亚潘-瓦利亚潘 , 亚历杭德罗·拉索 , 萨姆·林德利 :
通过EDSL评估进行实际规范化。 哈斯克尔 2021 : 56-70 [公元35年] Choi光勋 , 詹姆斯·切尼 , 萨姆·林德利 , 鲍勃·雷恩德斯 :
多态RPC演算的类型化切片编译。 PPDP(PPDP) 2021 : 11:1-11:15 [电子6] 萨姆·林德利 , 托本。 莫根森 :
2021年ACM SIGPLAN部分评估和程序操作研讨会会议记录, 政治公众人物@POPL 2021年,虚拟活动,丹麦,2021年1月18日至19日。 ACM公司 2021 ,国际标准图书编号 978-1-4503-8305-9 [目录] [i16] 西蒙·福勒 , 文科克 , 奥内拉·达达 , 萨姆·林德利 , J.加勒特·莫里斯 :
顺利分离会话。 CoRR公司 腹肌/2105.08996 ( 2021 ) 【i15】 Choi光勋 , 詹姆斯·切尼 , 萨姆·林德利 , 鲍勃·雷恩德斯 :
多态RPC微积分的类型化切片编译。 CoRR公司 abs/2107.10793 ( 2021 ) [第14条] 丹尼尔·艾哈曼 , 阿迈勒 , 萨姆·林德利 , 安德烈亚斯·罗斯伯格 :
效应的可缩放处理(Dagstuhl研讨会21292)。 达格斯图尔报告 11 ( 6 ) : 54-81 ( 2021 ) [i13] 玛丽安吉拉·德扎尼 , 罗兰·库恩 , 萨姆·林德利 , Alceste标量 :
行为类型:桥接理论与实践(Dagstuhl研讨会21372)。 达格斯图尔报告 11 ( 8 ) : 52-75 ( 2021 ) 2020 [公元10年] 丹尼尔·希勒斯特罗姆 , 萨姆·林德利 , 罗伯特·艾奇 :
效果处理程序通过通用的延续。 J.功能。 程序。 30 : e5(电子5) ( 2020 ) [公元9年] 卢卡斯修道院 , 萨姆·林德利 , 康纳·麦克布赖德 , 克雷格·麦克劳林 :
嘟嘟嘟嘟。 J.功能。 程序。 30 : 第9页 ( 2020 ) [j8] 丹尼尔·希勒斯特罗姆 , 萨姆·林德利 , 约翰·朗利 :
对效率的影响:一级控制的渐进加速。 程序。 ACM计划。 语言。 4 ( ICFP公司 ) : 100:1-100:29 ( 2020 ) [j7] Choi光勋 , 詹姆斯·切尼 , 西蒙·福勒 , 萨姆·林德利 :
多态RPC演算。 科学。 计算。 程序。 197 : 102499 ( 2020 ) [公元34年] 弗兰克·埃姆里奇 , 萨姆·林德利 , 简·斯托拉雷克 , 詹姆斯·切尼 , 乔纳森·科茨 :
FreezeML:一级多态性的完整且简单的类型推断。 PLDI公司 2020 : 423-437 [电子5] Max S.新 , 萨姆·林德利 :
第八期数学结构函数编程研讨会论文集, MSFP@ETAPS 2020年,爱尔兰都柏林,2020年4月25日。 EPTCS系统 317, 2020 [目录] [i12] 弗兰克·埃里奇 , 萨姆·林德利 , 简·斯托拉雷克 , 詹姆斯·切尼 , 乔纳森·科茨 :
FreezeML:一类多态性的完全且简单的类型推断。 CoRR公司 abs/2004.00396 ( 2020 ) [i11] 丹尼尔·希勒斯特伦 , 萨姆·林德利 , 约翰·朗利 :
效率影响:一级控制的渐进加速。 CoRR公司 abs/2007.00605 ( 2020 )
2010 – 2019
2019 [j6] 扬尼克·福斯特 , 奥哈德·卡马尔 , 萨姆·林德利 , 马蒂亚·普雷特纳 :
关于用户定义效果的表达能力:效果处理程序、一元反射、分隔控件。 J.功能。 程序。 29 : e15(电子15) ( 2019 ) [j5] 西蒙·福勒 , 萨姆·林德利 , J.加勒特·莫里斯 , 萨拉·德科瓦 :
异常异步会话类型:没有层的会话类型。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 28:1-28:29 ( 2019 ) [电子4] 萨姆·林德利 , 加布里埃尔·谢勒 :
《ML系列/OCaml用户和开发者研讨会论文集》,ML/OCaml 2017,英国牛津,2017年9月7日。 EPTCS系统 294, 2019 [目录] [i10] Choi光勋 , 詹姆斯·切尼 , 西蒙·福勒 , 萨姆·林德利 :
多态RPC微积分。 CoRR公司 abs/1910.10988 ( 2019 ) [第九章] 奥列格·基塞利约夫 , 萨姆·林德利 , 戈登·普洛金 , 尼古拉斯·吴 :
使用代数效果和效果处理程序进行编程和推理(NII Shonan会议146)。 NII Shonan会议。 代表。 2019 ( 2019 ) 2018 [公元33年] 丹尼尔·希勒斯特罗姆 , 萨姆·林德利 :
浅效处理程序。 阿普拉斯 2018 : 415-435 [e3] 罗伯特·艾奇 , 萨姆·林德利 :
第七届数学结构函数编程研讨会论文集, MSFP@FSCD 2018年7月8日,英国牛津。 EPTCS系统 275, 2018 [目录] 2017 【j4】 扬尼克·福斯特 , 奥哈德·卡马尔 , 萨姆·林德利 , 马蒂亚·普雷特纳 :
关于用户定义效果的表达能力:效果处理程序、一元反射、分隔控制。 程序。 ACM计划。 语言。 1 ( ICFP公司 ) : 13:1-13:29 ( 2017 ) [公元32年] 西蒙·福勒 , 萨姆·林德利 , 菲利普·沃德勒 :
混合隐喻:演员作为渠道和渠道作为演员。 ECOOP公司 2017 : 11:1-11:28 [公元31年] 萨姆·林德利 , 康纳·麦克布赖德 , 克雷格·麦克劳林 :
做是做是做。 POPL公司 2017 : 500-514 [公元30年] 丹尼尔·希勒斯特罗姆 , 萨姆·林德利 , 罗伯特·艾奇 , K.C.西瓦拉马克里什南 :
效果处理程序的连续传递样式。 金融稳定与发展部 2017 : 18:1-18:19 [电子2] 萨姆·林德利 , 布伦特·A·约基 :
第二届ACM SIGPLAN类型驱动开发国际研讨会会议记录, 泰德@ICFP 2017年9月3日,英国牛津。 ACM公司 2017 ,国际标准图书编号 978-1-4503-5183-6 [目录] [i8] 罗伯特·艾奇 , 米歇尔·斯特沃 , 萨姆·林德利 , 克里斯托夫·杜巴赫 :
并行功能代码的保留策略编译。 CoRR公司 abs/1710.08332 ( 2017 ) 2016 [公元29年] 罗伯特·艾奇 , 萨姆·林德利 , J.加勒特·莫里斯 :
困惑表示赞同。 改变世界的成功列表 2016 : 32-55 [公元28年] 马克·卡博尼 , 萨姆·林德利 , 法布里奇奥·蒙泰西 , 卡斯滕·舒尔曼 , 菲利普·沃德勒 :
一致性概括了二重性:多方会话类型的逻辑解释。 CONCUR公司 2016 : 33:1-33:15 [公元27年] 萨姆·林德利 , J.加勒特·莫里斯 :
在Haskell中嵌入会话类型。 哈斯克尔 2016 : 133-145 [公元26年] 丹尼尔·希勒斯特罗姆 , 萨姆·林德利 :
行和处理程序的解放效果。 泰德@ICFP 2016 : 15-27 [公元25年] 萨姆·林德利 , J.加勒特·莫里斯 :
会说话的香蕉:会话类型的结构递归。 ICFP公司 2016 : 434-447 [公元24年] 沙扬·内德(Shayan Najd) , 萨姆·林德利 , 约瑟夫·斯文宁森 , 菲利普·沃德勒 :
一切旧的又是新的:引用特定领域的语言。 政治公众人物 2016 : 25-36 [电子1] 萨姆·林德利 , 康纳·麦克布赖德 , 菲利普·特林德 , 唐纳德·桑内拉 :
一份能够改变世界的成功列表——纪念菲利普·沃德勒60岁生日的文章。 计算机科学课堂讲稿 9600, 施普林格 2016 ,国际标准图书编号 978-3-319-30935-4 [目录] [i7] 沙扬·内德(Shayan Najd) , 萨姆·林德利 , 约瑟夫·斯文宁森 , 菲利普·沃德勒 :
通过规范化嵌入。 CoRR公司 腹肌/1603.05197 ( 2016 ) [i6] 扬尼克·福斯特 , 奥哈德·卡马尔 , 萨姆·林德利 , 马蒂亚·普雷特纳 :
关于用户定义效果的表达能力:效果处理程序、单数反射、分隔控制。 CoRR公司 abs/1610.09161 ( 2016 ) [i5] 西蒙·福勒 , 萨姆·林德利 , 菲利普·沃德勒 :
混合隐喻:演员作为频道,频道作为演员。 CoRR公司 abs/1611.06276 ( 2016 ) [i4] 萨姆·林德利 , 康纳·麦克布赖德 , 克雷格·麦克劳林 :
做是做是做。 CoRR公司 abs/1611.09259 ( 2016 ) 2015 【c23】 萨姆·林德利 , J.加勒特·莫里斯 :
命题作为会话的语义学。 员工持股计划 2015 : 560-584 [公元22年] 米歇尔·斯特沃 , 克里斯蒂安·芬施 , 萨姆·林德利 , 克里斯托夫·杜巴赫 :
使用重写规则生成性能可移植代码:从高级函数表达式到高性能OpenCL代码。 ICFP公司 2015 : 205-217 [i3] 沙扬·内德(Shayan Najd) , 萨姆·林德利 , 约瑟夫·斯文宁森 , 菲利普·沃德勒 :
一切旧的又是新的:引用领域特定语言。 CoRR公司 abs/1507.07264 ( 2015 ) 2014 【c21】 萨姆·林德利 :
习惯用法和箭头的代数效果和效果处理程序。 ICFP的WGP 2014 : 47-58 [公元20年] 詹姆斯·切尼 , 萨姆·林德利 , 加布里埃尔·拉丹 , 菲利普·沃德勒 :
有效引用:语言集成查询的相关方法。 政治公众人物 2014 : 15-26 [第19条] 詹姆斯·切尼 , 萨姆·林德利 , 菲利普·沃德勒 :
查询分解:对嵌套多集上的查询进行有效的关系计算。 SIGMOD会议 2014 : 1027-1038 [第18条] 萨姆·林德利 , J.加勒特·莫里斯 :
会话作为提议。 地方 2014 : 9-16 [i2] 詹姆斯·切尼 , 萨姆·林德利 , 菲利普·沃德勒 :
查询分解:对嵌套多集上的查询进行有效的关系计算(扩展版本)。 CoRR公司 abs/1404.7078 ( 2014 ) 2013 [j3] 拉胡·拉吉库马尔 , 内特·福斯特 , 萨姆·林德利 , 詹姆斯·切尼 :
Web数据镜头。 电子。 Commun公司。 欧洲协会软件。 科学。 Technol公司。 57 ( 2013 ) [第17条] 萨姆·林德利 , 康纳·麦克布赖德 :
Hasochism:依赖型haskell编程的快乐和痛苦。 哈斯克尔 2013 : 81-92 [第16条] 奥哈德·卡马尔 , 萨姆·林德利 , 尼古拉斯·欧里 :
处理程序正在运行。 ICFP公司 2013 : 145-158 [第15条] 詹姆斯·切尼 , 萨姆·林德利 , 菲利普·沃德勒 :
一种实用的语言集成查询理论。 ICFP公司 2013 : 403-416 [i1] 詹姆斯·切尼 , 萨姆·林德利 , 加布里埃尔·拉丹 , 菲利普·沃德勒 :
有效报价。 CoRR公司 abs/1310.4780 ( 2013 ) 2012 [第14条] 萨姆·林德利 :
嵌入F。 ICFP的WGP 2012 : 45-56 [第13条] 萨姆·林德利 , 詹姆斯·切尼 :
用于数据库集成的基于行的效果类型。 TLDI公司 2012 : 91-102 2011 [注2] 彼得·布内曼 , 詹姆斯·切尼 , 萨姆·林德利 , 海科·米勒 :
数据库Wiki项目:用于数据管理和协作的通用平台。 SIGMOD记录。 40 ( 三 ) : 15-20 ( 2011 ) [第12条] 詹姆斯·切尼 , 萨姆·林德利 , 海科·米勒 :
使用链接创建数据库Wiki原型。 DBPL公司 2011 [第11条] 彼得·布内曼 , 詹姆斯·切尼 , 萨姆·林德利 , 海科·米勒 :
DBWiki:用于管理数据和协作数据管理的结构化wiki。 SIGMOD会议 2011 : 1335-1338 2010 [j1] 萨姆·林德利 , 菲利普·沃德勒 , 杰里米·亚洛普 :
箭头演算。 J.功能。 程序。 20 ( 1 ) : 51-69 ( 2010 ) [第10条] 萨姆·林德利 , 菲利普·沃德勒 :
无畏的希望:关于重新实现数据库梦想的思考。 员工持股计划 2010 : 1
2000 – 2009
2009 【c9】 罗伯特·艾奇 , 萨姆·林德利 , 杰里米·亚洛普 :
未嵌入特定于域的语言。 哈斯克尔 2009 : 37-48 2008 【c8】 埃兹拉·库珀 , 萨姆·林德利 , 菲利普·沃德勒 , 杰里米·亚洛普 :
形式抽象的本质。 阿普拉斯 2008 : 205-220 【c7】 萨姆·林德利 :
后座球门上有很多洞。 毫升 2008 : 59-68 【c6】 萨姆·林德利 , 菲利普·沃德勒 , 杰里米·亚洛普 :
习语是不经意的,箭头是一丝不苟的,格言是杂乱无章的。 ICALP的MSFP 2008 : 97-117 2007 【c5】 萨姆·林德利 :
使用筛选实现确定性声明性并发。 DAMP公司 2007 : 45-49 【c4】 萨姆·林德利 :
带和的扩展重写。 薄层色谱分析 2007 : 255-271 2006 【c3】 埃兹拉·库珀 , 萨姆·林德利 , 菲利普·沃德勒 , 杰里米·亚洛普 :
链接:没有层次的网络编程。 FMCO公司 2006 : 266-296 2005 【b1】 萨姆·林德利 :
类型化函数式编程语言编译中的求值归一化。 英国爱丁堡大学, 2005 【c2】 萨姆·林德利 , 伊恩·斯塔克 :
计算类型的可还原性和TT提升。 薄层色谱分析 2005 : 262-277 2004 【c1】 尼克·本顿 , 安德鲁·肯尼迪 , 萨姆·林德利 , 克劳迪奥·拉索 :
SML.NET中的收缩缩减。 国际单项体育联合会 2004 : 142-159