萨姆·斯塔顿
人员信息
优化列表
2020年–今天
2024 [公元15年] 达里奥·斯坦因 , 萨姆·斯塔顿 :
精确条件下的概率规划。 美国临床医学杂志 71 ( 1 ) : 2:1-2:53 ( 2024 ) [公元14年] 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 尤内斯·卡达 , 杰克·卡沃夫斯基 , 肖恩·莫斯 , 丹尼尔·罗伊 , 萨姆·斯塔顿 , 杨红seok :
随机图的概率编程接口:马尔可夫范畴、图和标称集。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 1819-1849 ( 2024 ) [公元46年] 萨姆·林德利 , 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 , 尼古拉斯·吴 , 杨志轩 :
作为参数化代数理论的范围效应。 员工持股计划(1) 2024 : 3-21 【i21】 萨姆·林德利 , 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 , 尼古拉斯·吴 , 杨志轩 :
作为参数化代数理论的范围效应。 CoRR公司 abs/2402.03103 ( 2024 ) 2023 [j13] 亚历山大·K·卢 , 马修·霍特 , 萨姆·斯塔顿 , 维卡什·K·曼辛加 :
ADEV:概率程序期望值的声音自动微分。 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 121-153 ( 2023 ) [公元12年] Swaraj短划线 , 尤内斯·卡达 , 雨果·帕奎特 , 萨姆·斯塔顿 :
贝叶斯程序设计的仿射单体和惰性结构。 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 1338-1368 ( 2023 ) [公元45年] 马修·霍特 , 亚历山大·K·卢 , 维卡什·K·曼辛加 , 萨姆·斯塔顿 :
ωPAP空间:关于高阶、递归概率和可微程序的外延推理。 许可证 2023 : 1-14 [c44] 尤内斯·卡达 , 萨姆·斯塔顿 :
概率规划中的随机记忆和名称生成模型:通过前置类别上的单子实现的类别语义。 MFPS公司 2023 [电子4] 萨姆·斯塔顿 , 克里斯蒂娜·瓦西拉科波卢 :
2023年7月31日至8月4日,马里兰大学ACT 2023第六届应用范畴理论国际会议论文集。 EPTCS系统 397, 2023 [目录] [i20] 马修·霍特 , 亚历山大·K·卢 , 维卡什·K·曼辛加 , 萨姆·斯塔顿 :
ωPAP空间:关于高阶、递归概率和可微程序的外延推理。 CoRR公司 abs/2302.10636 ( 2023 ) [i19] 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 , 阿里阿德涅苏 :
推理语言的指称语义:半环、单子和张量。 CoRR公司 abs/2312.16694 ( 2023 ) [i18] 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 尤内斯·卡达 , 杰克·卡沃夫斯基 , 肖恩·莫斯 , 丹尼尔·罗伊 , 萨姆·斯塔顿 , 杨红seok :
随机图的概率编程接口:马尔可夫类别、图和标称集。 CoRR公司 abs/2312.17127 ( 2023 ) [i17] 达里奥·斯坦因 , 萨姆·斯塔顿 :
精确条件下的概率规划。 CoRR公司 abs/2312.17141 ( 2023 ) 2022 [公元11年] 马修·霍特 , 萨姆·斯塔顿 , 马蒂js Vákár :
高阶函数的高阶自动微分。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) [公元43年] 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 :
具体类别和高阶递归:应用包括概率、可微性和完全抽象。 许可证 2022 : 第57:1-57:14页 [公元42年] 萨姆·斯塔顿 , 内德·萨默斯 :
作为范畴极限的量子德芬尼蒂定理,以及C*-代数的状态空间极限。 QPL公司 2022 : 400-414 [i16] 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 :
具体类别和高阶递归(应用包括概率、可微性和完全抽象)。 CoRR公司 abs/2205.15917 ( 2022 ) 【i15】 亚历山大·K·卢 , 马修·霍特 , 萨姆·斯塔顿 , 维卡什·K·曼辛加 :
ADEV:概率程序期望值的声音自动微分。 CoRR公司 abs/2212.06386 ( 2022 ) [第14条] 斯瓦拉吉短划线 , 尤内斯·卡达 , 雨果·帕奎特 , 萨姆·斯塔顿 :
贝叶斯程序设计的仿射单体和惰性结构。 CoRR公司 abs/2212.07250 ( 2022 ) 2021 [公元10年] 马金·萨博克 , 萨姆·斯塔顿 , 达里奥·斯坦因 , 迈克尔·沃尔曼 :
名称生成的概率编程语义。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-29 ( 2021 ) [公元41年] 萨姆·斯塔顿 :
概率中的一些形式结构(邀请谈话)。 金融稳定与发展部 2021 : 4:1-4:4 [公元40年] 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 :
滑轮类别中的递归性和序列性。 金融稳定与发展部 2021 : 25分25秒22秒 [公元39年] 达里奥·斯坦因 , 萨姆·斯塔顿 :
具有精确条件的概率程序的合成语义。 许可证 2021 : 1-13 [公元38年] 斯瓦拉吉短划线 , 萨姆·斯塔顿 :
概率数据库中可测查询的单数。 MFPS公司 2021 : 34-50 [i13] 马修·霍特 , 萨姆·斯塔顿 , 马蒂js Vákár :
高阶函数的高阶自动微分。 CoRR公司 abs/2101.06757 ( 2021 ) [i12] 达里奥·斯坦因 , 萨姆·斯塔顿 :
具有精确条件的概率程序的合成语义。 CoRR公司 abs/2101.11351 ( 2021 ) [i11] 克里斯蒂娜·马塔奇 , 肖恩·莫斯 , 萨姆·斯塔顿 :
滑轮类别中的递归性和序列性。 CoRR公司 腹肌/2105.02156 ( 2021 ) 2020 [公元9年] 马西斯·雷内拉 , 萨姆·斯塔顿 :
丰富范畴理论中的经典控制、量子电路和线性逻辑。 日志。 方法计算。 科学。 16 ( 1 ) ( 2020 ) [公元37年] 雅各布施 , 萨姆·斯塔顿 :
De Finetti的分类极限构造。 CMCS公司 2020 : 90-111 [公元36年] 马修·霍特 , 萨姆·斯塔顿 , 马蒂js Vákár :
通过衍射和分类粘合进行自动区分的正确性。 FoSSaCS公司 2020 : 319-338 [公元35年] 斯瓦拉吉短划线 , 萨姆·斯塔顿 :
概率点过程的单数。 行为 2020 : 19-32 [i10] 马修·霍特 , 萨姆·斯塔顿 , 马蒂js Vákár :
通过衍射和分类粘合进行自动区分的正确性。 CoRR公司 abs/2001.02209 ( 2020 ) [第九章] 马金·萨博克 , 萨姆·斯塔顿 , 达里奥·斯坦因 , 迈克尔·沃尔曼 :
名称生成的概率编程语义。 CoRR公司 abs/2007.08638 ( 2020 )
2010 – 2019
2019 [j8] 马蒂js Vákár , 奥哈德·卡马尔 , 萨姆·斯塔顿 :
统计概率规划的领域理论。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 36:1-36:29 ( 2019 ) [公元34年] 克里斯蒂娜·马塔奇 , 萨姆·斯塔顿 :
代数效应的健全完整逻辑。 FoSSaCS公司 2019 : 382-399 [公元33年] 马修·霍特 , 萨姆·斯塔顿 :
量子通道作为一种绝对的完成。 许可证 2019 : 1-13 [电子3] 亚历山德拉·席尔瓦 , 萨姆·斯塔顿 , 彼得·萨顿 , 卡拉·乌姆巴赫 :
语言、逻辑和计算——第十二届第比利斯国际研讨会,2017年TbiLLC,格鲁吉亚拉戈德基,2017年9月18日至22日,修订论文集。 计算机科学课堂讲稿 11456, 施普林格 2019 ,国际标准图书编号 电话:978-3-662-59564-0 [目录] [i8] 马修·霍特 , 萨姆·斯塔顿 :
量子通道作为一种绝对的完成。 CoRR公司 腹肌/1904.09600 ( 2019 ) 2018 [j7] 萨姆·斯塔顿 , 桑德·尤伊伦 :
效应代数,预升,非局部性和上下文性。 Inf.计算。 261 : 336-354 ( 2018 ) [j6] 亚当·西比奥 , 奥哈德·卡马尔 , 马蒂js Vákár , 萨姆·斯塔顿 , 杨红seok , 蔡玉飞 , 克劳斯·奥斯特曼 , 肖恩·K·莫斯 , 克里斯·希恩 , 邹宾·加拉马尼 :
高阶贝叶斯推理的表示验证。 程序。 ACM计划。 语言。 2 ( POPL公司 ) : 60:1-60:29 ( 2018 ) [公元32年] 萨姆·斯塔顿 :
从程序设计的角度看概率论(特邀论文)。 ICALP公司 2018 : 3:1-3:1 [公元31年] 萨姆·斯塔顿 , 达里奥·斯坦因 , 杨红seok , 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 丹尼尔·罗伊 :
Beta-Bernoulli过程和代数效应。 ICALP公司 2018 : 141:1-141:15 [公元30年] 马修·霍特 , 萨姆·斯塔顿 :
量子理论中的普遍性质。 QPL公司 2018 : 213-223 [公元29年] 萨姆·斯塔顿 :
前言。 MFPS公司 2018 : 1-3 [公元28年] 马西斯·雷内拉 , 萨姆·斯塔顿 :
丰富范畴理论中的经典控制和量子电路。 MFPS公司 2018 : 257-279 [电子2] 萨姆·斯塔顿 :
《第三十四届编程语义数学基础会议论文集》,2018年MFPS,加拿大哈利法克斯达尔豪西大学,2018年6月6-9日。 理论计算机科学电子笔记 341, 爱思维尔 2018 [目录] [i7] 萨姆·斯塔顿 , 达里奥·斯坦因 , 杨红seok , 纳撒尼尔·L·阿克曼 , 卡梅隆·E·弗里尔 , 丹尼尔·罗伊 :
贝塔-伯努利过程和代数效应。 CoRR公司 abs/1802.09598 ( 2018 ) [i6] 马蒂js Vákár , 奥哈德·卡马尔 , 萨姆·斯塔顿 :
统计概率规划的领域理论。 CoRR公司 abs/1811.04196 ( 2018 ) 2017 [j5] 马西耶·皮罗格 , 萨姆·斯塔顿 :
通过分配律和左零幺半群用割进行回溯。 J.功能。 程序。 27 : 第17页 ( 2017 ) [c27] 萨姆·斯塔顿 :
概率编程的交换语义。 员工持股计划 2017 : 855-879 [公元26年] 克里斯·希恩 , 奥哈德·卡马尔 , 萨姆·斯塔顿 , 杨红seok :
高阶概率理论的一个方便范畴。 许可证 2017 : 1-12 [公元25年] 奥哈德·卡马尔 , 保罗·布莱恩·利维 , 肖恩·莫斯 , 萨姆·斯塔顿 :
一种用于全接地参考电池的monad。 许可证 2017 : 1-12 [i5] 克里斯·赫宁 , 奥哈德·卡马尔 , 萨姆·斯塔顿 , 杨红seok :
高阶概率理论的一个方便范畴。 CoRR公司 abs/1701.02547 ( 2017 ) [i4] 奥哈德·卡马尔 , 保罗·布莱恩·利维 , 肖恩·莫斯 , 萨姆·斯塔顿 :
用于完整地面参考细胞的单子。 CoRR公司 abs/1702.04908 ( 2017 ) [i3] 亚当·西比奥 , 奥哈德·卡马尔 , 马蒂js Vákár , 萨姆·斯塔顿 , 杨红seok , 蔡玉飞 , 克劳斯·奥斯特曼 , 肖恩·莫斯 , 克里斯·希恩 , 邹宾·加拉马尼 :
高阶贝叶斯推理的名义验证。 CoRR公司 abs/1711.03219 ( 2017 ) [i2] 马西斯·雷内拉 , 萨姆·斯塔顿 :
丰富范畴理论中的经典控制、量子电路和线性逻辑。 CoRR公司 abs/1711.05159 ( 2017 ) 2016 [公元24年] 萨姆·斯塔顿 , 杨红seok , 弗兰克·D·伍德 , 克里斯·希恩 , 奥哈德·卡马尔 :
概率规划的语义:高阶函数、连续分布和软约束。 许可证 2016 : 525-534 【c23】 马西斯·雷内拉 , 萨姆·斯塔顿 , 罗伯特·福伯 :
量子基础中的无限维性:W*-代数作为矩阵代数上的预设。 QPL公司 2016 : 161-173年 [i1] 萨姆·斯塔顿 , 杨红seok , 克里斯·希恩 , 奥哈德·卡马尔 , 弗兰克·D·伍德 :
概率规划的语义:高阶函数、连续分布和软约束。 CoRR公司 abs/1601.04943 ( 2016 ) 2015 [公元22年] 萨姆·斯塔顿 , 桑德·尤伊伦 :
效应代数,预升,非线性和上下文。 ICALP(二) 2015 : 401-413 【c21】 萨姆·斯塔顿 :
代数效应、线性和量子编程语言。 府绸 2015 : 395-406 [公元20年] 罗伯特·艾奇 , 尼尔·加尼 , 弗雷德里克·诺德瓦尔·福斯伯格 , 蒂莫西·雷维尔 , 萨姆·斯塔顿 :
物理维上的多态模型。 薄层色谱分析 2015 : 45-59 [第19条] 马西斯·雷内拉 , 萨姆·斯塔顿 :
量子计算的完全正性和自然表示。 MFPS公司 2015 : 369-385 2014 【j4】 拉斯穆斯·埃杰莱斯·莫格伯格 , 萨姆·斯塔顿 :
状态的线性用法。 日志。 计算方法。 科学。 10 ( 1 ) ( 2014 ) [第18条] 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
替换、跳跃和代数效应。 CSL-LICS公司 2014 : 41:1-41:10 [第17条] 保罗·布莱恩·利维 , 萨姆·斯塔顿 :
游戏的过渡系统。 CSL-LICS公司 2014 : 64:1-64:10 [第16条] 雅各布施 , 亚历山德拉·席尔瓦 , 萨姆·斯塔顿 :
前言。 MFPS公司 2014 : 1-2 [电子1] 雅各布施 , 亚历山德拉·席尔瓦 , 萨姆·斯塔顿 :
2014年6月12日至15日,美国纽约州伊萨卡,MFPS,《程序设计语义学数学基础第30届会议论文集》。 理论计算机科学电子笔记 308, 爱思维尔 2014 [目录] 2013 [第15条] 萨姆·斯塔顿 :
谓词逻辑的代数表示-(扩展抽象)。 FoSSaCS公司 2013 : 401-417 [第14条] 萨姆·斯塔顿 :
计算效果实例:代数视角。 许可证 2013 : 519 [第13条] 萨姆·斯塔顿 , 保罗·布兰·莱维 :
不纯编程语言的通用属性。 POPL公司 2013 : 179-192 [第12条] 丹尼尔·艾哈曼 , 萨姆·斯塔顿 :
通过评估和代数效应归一化。 MFPS公司 2013 : 51-69 [第11条] 萨姆·斯塔顿 :
Freyd类别是丰富的Lawvere理论。 WACT公司 2013 : 197-206 2012 [第10条] 萨姆·斯塔顿 , 库尔特·德巴蒂斯塔 , 托马斯·巴什福德-罗杰斯 , 艾伦·查尔默斯 :
基于动态图像的照明的灯光簇。 TPCG公司 2012 : 17-24 2011 [j3] 萨姆·斯塔顿 :
相互模拟的相关联脑概念。 日志。 方法计算。 科学。 7 ( 1 ) ( 2011 ) 【c9】 拉斯穆斯·埃杰莱斯·莫格伯格 , 萨姆·斯塔顿 :
调用值模型中的线性使用状态。 CALCO公司 2011 : 298-313 2010 【c8】 托尔斯滕·阿滕柯奇 , 保罗·布莱恩·利维 , 萨姆·斯塔顿 :
高级容器。 CiE公司 2010 : 11-20 【c7】 萨姆·斯塔顿 :
局部状态代数理论的完备性。 FoSSaCS公司 2010 : 48-63 【c6】 萨姆·斯塔顿 , 格林·温斯克 :
论事件结构中对称性的表达。 许可证 2010 : 392-401
2000 – 2009
2009 [注2] 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
用于名称传递进程计算的同余规则格式。 Inf.计算。 207 ( 2 ) : 209-236 ( 2009 ) 【c5】 萨姆·斯塔顿 :
相互模拟的相关余代数概念。 CALCO公司 2009 : 191-205 【c4】 萨姆·斯塔顿 :
两个同音词合一:局部状态和新名称的代数理论介绍。 MFPS公司 2009 : 471-490 2008 【c3】 萨姆·斯塔顿 :
通过范畴逻辑的一般结构操作语义。 许可证 2008 : 166-177 2007 【b1】 塞缪尔·斯塔顿 :
名称传递过程计算:操作模型和结构操作语义。 英国剑桥大学, 2007 2006 [j1] 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
比较姓名传递过程计算的操作模型。 Inf.计算。 204 ( 4 ) : 524-560 ( 2006 ) 【c2】 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
基于数学结构操作语义的命名过程演算的同余规则格式。 许可证 2006 : 49-58 2004 【c1】 马塞洛·菲奥雷 , 萨姆·斯塔顿 :
比较命名过程演算的操作模型。 CMCS公司 2004 : 91-104年