Sam Staton:出版物
-
[1] -
[2] 贝叶斯规划中的仿射单体和惰性结构 斯瓦拉杰·达什、尤妮斯·卡达尔、雨果·帕奎特和萨姆·斯塔顿 在 程序。 ACM计划。 语言。 。 第7卷。 没有POPL。 第1338-1368页。 2023 细节 关于 贝叶斯规划中的仿射单体和惰性结构 | BibTeX公司 的数据 贝叶斯规划中的仿射单体和惰性结构 | 内政部(10.1145/3571239) | 链接 到 贝叶斯规划中的仿射单体和惰性结构 -
[3] ADEV:概率程序期望值的声音自动微分 Alexander K.Lew’Mathieu Huot’Sam Staton和Vikash K.Mansinghka 在 程序。 ACM计划。 语言。 。 第7卷。 没有POPL。 第121-153页。 2023 细节 关于 ADEV:概率程序期望值的声音自动微分 | BibTeX公司 的数据 ADEV:概率程序期望值的声音自动微分 | 内政部(10.1145/3571198) | 链接 到 ADEV:概率程序期望值的声音自动微分 -
[4] 作为C*−代数范畴极限和状态空间极限的量子德芬尼蒂定理 萨姆·斯塔顿和奈德·萨默斯 在 CoRR公司 。 第abs/2207.05832卷。 2022 细节 关于 作为C*−代数范畴极限和状态空间极限的量子德芬尼蒂定理 | BibTeX公司 的数据 作为C*−代数范畴极限和状态空间极限的量子德芬尼蒂定理 | 内政部(10.48550/arXiv.2207.05832) | 链接 到 作为C*−代数范畴极限和状态空间极限的量子德芬尼蒂定理 -
[5] 具体类别和高阶递归(应用包括概率“可微性”和完全抽象) Cristina Matache、Sean K.Moss和Sam Staton 在 CoRR公司 。 第abs/2205.15917卷。 2022 细节 关于 具体类别和高阶递归(应用包括概率“可微性”和完全抽象) | BibTeX公司 的数据 具体类别和高阶递归(应用包括概率“可微性”和完全抽象) | 内政部(10.48550/arXiv.2205.15917) | 链接 到 具体类别和高阶递归(应用包括概率“可微性”和完全抽象) -
[6] 高阶函数的高阶自动微分 马修·霍特(Mathieu Huot)、萨姆·斯塔顿(Sam Staton)和马蒂杰斯·瓦卡(Matthijs Vákár) 在 日志。 方法计算。 科学。 。 第18卷。 1号。 2022 细节 关于 高阶函数的高阶自动微分 | BibTeX公司 的数据 高阶函数的高阶自动微分 | 内政部(10.46298/lmcs-18(1:41)2022) | 链接 到 高阶函数的高阶自动微分 -
[7] 具体类别和高阶递归:应用包括概率“可微性”和完全抽象 Cristina Matache、Sean K.Moss和Sam Staton 编辑Christel Baier和Dana Fisman, LICS’22:2022年8月2日至5日在以色列海法举行的第37届ACM/IEEE计算机科学逻辑年度研讨会 。 第57:1–57:14页。 ACM公司。 2022 细节 关于 具体类别和高阶递归:应用包括概率“可微性”和完全抽象 | BibTeX公司 的数据 具体类别和高阶递归:应用包括概率“可微性”和完全抽象 | 内政部(10.1145/3531130.3533370) | 链接 到 具体类别和高阶递归:应用包括概率“可微性”和完全抽象 -
[8] 滑轮分类中的递归性和序列性 Cristina Matache、Sean K.Moss和Sam Staton 在 CoRR公司 。 第abs/2105.02156卷。 2021 细节 关于 滑轮分类中的递归性和序列性 | BibTeX公司 的数据 滑轮分类中的递归性和序列性 | 链接 到 滑轮分类中的递归性和序列性 -
[9] 具有精确条件的概率程序的组合语义 达里奥·斯坦因和萨姆·斯塔顿 在 CoRR公司 。 第abs/2101.11351卷。 2021 细节 关于 具有精确条件的概率程序的组合语义 | BibTeX公司 的数据 具有精确条件的概率程序的组合语义 | 链接 到 具有精确条件的概率程序的组合语义 -
[10] 高阶函数的高阶自动微分 马修·霍特(Mathieu Huot)、萨姆·斯塔顿(Sam Staton)和马蒂杰斯·瓦卡(Matthijs Vákár) 在 CoRR公司 。 第abs/2101.06757卷。 2021 -
[11] 用于名称生成的概率编程语义 Marcin Sabok、Sam Staton、Dario Stein和Michael Wolman 在 程序。 ACM计划。 语言。 。 第5卷。 没有POPL。 第1-29页。 2021 细节 关于 用于名称生成的概率编程语义 | BibTeX公司 的数据 用于名称生成的概率编程语义 | 内政部(10.1145/3434292) | 链接 到 用于名称生成的概率编程语义 -
[12] 概率数据库中可测查询的单数 斯瓦拉杰·达什和萨姆·斯塔顿 编辑Ana Sokolova, 第37届编程语义数学基础会议论文集“MFPS 2021”混合:奥地利萨尔茨堡和在线“2021年8月30日至9月2日” 。 第351卷 EPTCS。 第34-50页。 2021 细节 关于 概率数据库中可测查询的单数 | BibTeX公司 的数据 概率数据库中可测查询的单数 | 内政部(10.4204/EPTCS.351.3) | 链接 到 概率数据库中可测查询的单数 -
[13] 具有精确条件的概率程序的组合语义 达里奥·斯坦因和萨姆·斯塔顿 在 第36届ACM/IEEE计算机科学逻辑年会LICS 2021意大利罗马2021年6月29日-7月2日 。 第1-13页。 电气与电子工程师协会。 2021 细节 关于 具有精确条件的概率程序的组合语义 | BibTeX公司 的数据 具有精确条件的概率程序的组合语义 | 内政部(10.1109/LICS52264.2021.9470552) | 链接 到 具有精确条件的概率程序的组合语义 -
[14] 滑轮分类中的递归性和序列性 克里斯蒂娜·马塔切、肖恩·莫斯和萨姆·斯塔顿 编辑Naoki Kobayashi, 第六届计算和扣除形式结构国际会议“FSCD 2021”2021年7月17日至24日“阿根廷布宜诺斯艾利斯”(虚拟会议) 。 第195卷 LIPIcs。 第25:1–25:22页。 Dagstuhl−Leibniz−Zentrum für Informatik宫。 2021 细节 关于 滑轮分类中的递归性和序列性 | BibTeX公司 的数据 滑轮分类中的递归性和序列性 | 内政部(10.4230/LIPIcs.FSCD.2021.25) | 链接 到 Sheaves范畴中的递归性和序列性 -
[15] 概率论中的一些形式结构(特邀演讲) 萨姆·斯塔顿 编辑Naoki Kobayashi, 第六届计算和扣除形式结构国际会议“FSCD 2021”2021年7月17日至24日“阿根廷布宜诺斯艾利斯”(虚拟会议) 。 第195卷 LIPIcs。 第4:1–4:4页。 Dagstuhl−Leibniz−Zentrum für Informatik宫。 2021 细节 关于 概率论中的一些形式结构(邀请谈话) | BibTeX公司 的数据 概率论中的一些形式结构(邀请谈话) | 内政部(10.4230/LIPIcs.FSCD.2021.4) | 链接 到 概率论中的一些形式结构(邀请谈话) -
[16] 用于名称生成的概率编程语义 Marcin Sabok、Sam Staton、Dario Stein和Michael Wolman 在 CoRR公司 。 第abs/2007.08638卷。 2020 细节 关于 用于名称生成的概率编程语义 | BibTeX公司 的数据 用于名称生成的概率编程语义 | 链接 到 用于名称生成的概率编程语义 -
[17] 通过衍射和分类粘合实现自动区分的正确性 马修·霍特(Mathieu Huot)、萨姆·斯塔顿(Sam Staton)和马蒂杰斯·瓦卡(Matthijs Vákár) 在 CoRR公司 。 第abs/2001.02209卷。 2020 细节 关于 通过衍射和分类粘合实现自动区分的正确性 | BibTeX公司 的数据 通过衍射和分类粘合实现自动区分的正确性 | 链接 到 通过衍射和分类粘合实现自动区分的正确性 -
[18] 丰富范畴理论中的经典控制量子电路和线性逻辑 Mathys Rennela和Sam Staton 在 日志。 方法计算。 科学。 。 第16卷。 1号。 2020 细节 关于 丰富范畴理论中的经典控制量子电路和线性逻辑 | BibTeX公司 的数据 丰富范畴理论中的经典控制量子电路和线性逻辑 | 内政部(10.23638/LMCS-16(1:30)2020) | 链接 到 丰富范畴理论中的经典控制量子电路和线性逻辑 -
[19] 概率点过程的单子函数 Swaraj Dash和Sam Staton 编辑David I.Spivak和Jamie Vicary, 2020年第三届国际应用类别理论年会会议记录2020年ACT 2020美国剑桥2020年7月6日至10日 。 第333卷 EPTCS。 第19-32页。 2020 细节 关于 概率点过程的单子函数 | BibTeX公司 的数据 概率点过程的单子函数 | 内政部(10.4204/EPTCS.333.2) | 链接 到 概率点过程的单子函数 -
[20] 通过衍射和分类粘合实现自动区分的正确性 马修·霍特(Mathieu Huot)、萨姆·斯塔顿(Sam Staton)和马蒂杰斯·瓦卡(Matthijs Vákár) 在Jean Goubault−Larrecq和Barbara König的编辑中, 软件科学和计算结构基础——第23届国际会议“FOSSACS 2020”作为欧洲软件理论与实践联合会议的一部分在爱尔兰都柏林举行,2020年4月25日至30日会议记录 。 第12077卷 计算机科学课堂讲稿。 第319-338页。 斯普林格。 2020 细节 关于 通过衍射和分类粘合实现自动区分的正确性 | BibTeX公司 的数据 通过衍射和分类粘合实现自动区分的正确性 | 内政部(10.1007/978-3-030-45231-5\_17) | 链接 到 通过衍射和分类粘合实现自动区分的正确性 -
[21] De Finetti作为范畴极限的构造 巴特·雅各布斯和萨姆·斯塔顿 编辑Daniela Petrisan和Jurrian Rot, 计算机科学中的协同代数方法——第15届IFIP工作组1.3国际研讨会“CMCS 2020”与ETAPS 2020在爱尔兰都柏林举行,2020年4月25日至26日会议记录 。 第12094卷 计算机科学课堂讲稿。 第90-111页。 斯普林格。 2020 细节 关于 De Finetti作为范畴极限的构造 | BibTeX公司 的数据 De Finetti作为范畴极限的构造 | 内政部(10.1007/978-3-030-57201-3\_6) | 链接 到 De Finetti作为范畴极限的构造 -
[22] 量子通道作为一种分类完成 马修·霍特和萨姆·斯塔顿 在 CoRR公司 。 第abs/1904.09600卷。 2019 -
[23] 统计概率规划的一个领域理论 Matthijs VákárâOhad Kammar和Sam Staton 在 程序。 ACM计划。 语言。 。 第3卷。 没有POPL。 第36:1–36:29页。 2019 细节 关于 统计概率规划的域理论 | BibTeX公司 的数据 统计概率规划的域理论 | 内政部(10.1145/3290349) | 链接 到 统计概率规划的域理论 -
[24] 量子通道作为一种分类完成 马修·霍特和萨姆·斯塔顿 在 第34届ACM/IEEE计算机科学逻辑年会LICS 2019加拿大不列颠哥伦比亚省温哥华2019年6月24日至27日 。 第1-13页。 电气与电子工程师协会。 2019 细节 关于 量子通道作为一种分类完成 | BibTeX公司 的数据 量子通道作为一种分类完成 | 内政部(10.1109/LICS.2019.8785700) | 链接 到 量子通道作为一种分类完成 -
[25] 代数效应的完善逻辑 克里斯蒂娜·马塔奇和萨姆·斯塔顿 编辑Mikolaj Bojanczyk和Alex Simpson, 软件科学和计算结构基础——第22届国际会议“2019年FOSSACS”作为欧洲软件理论与实践联合会议的一部分在捷克共和国布拉格举行,2019年4月6日至11日会议记录 。 第11425卷 计算机科学课堂讲稿。 第382-399页。 斯普林格。 2019 细节 关于 代数效应的完善逻辑 | BibTeX公司 的数据 代数效应的完善逻辑 | 内政部(10.1007/978-3-030-17127-8\_22) | 链接 到 代数效应的完善逻辑 -
[26] 语言“逻辑”与计算-第12届第比利斯国际研讨会2017年第比利斯Lagodekhi格鲁吉亚9月18日-22日修订论文集 Alexandra Silva、Sam Staton、Peter Sutton和Carla Umbach,编辑 细节 关于 语言、逻辑和计算——第十二届第比利斯国际研讨会2017年第比利斯有限责任公司格鲁吉亚拉哥德基2017年9月18日至22日修订论文集 | BibTeX公司 的数据 语言、逻辑和计算——第十二届第比利斯国际研讨会2017年第比利斯有限责任公司格鲁吉亚拉哥德基2017年9月18日至22日修订论文集 | 内政部(10.1007/978-3-662-59565-7) | 链接 到 语言、逻辑和计算——第十二届第比利斯国际研讨会2017年第比利斯有限责任公司格鲁吉亚拉哥德基2017年9月18日至22日修订论文集 -
[27] 统计概率规划的领域理论 马蒂杰斯·瓦卡尔·奥哈德·卡马尔和萨姆·斯塔顿 在 CoRR公司 。 第abs/1811.04196卷。 2018 -
[28] Beta−Bernoulli过程和代数效应 Sam Staton、Dario Stein、Hongseok Yang、Nathanel L.Ackerman、Cameron E.Freer和Daniel M.Roy 在 CoRR公司 。 第abs/1802.09598卷。 2018 细节 关于 Beta−Bernoulli过程和代数效应 | BibTeX公司 的数据 Beta−Bernoulli过程和代数效应 | 链接 到 Beta−Bernoulli过程和代数效应 -
[29] 高阶贝叶斯推理的外延验证 Adam cibior、Ohad Kammar、Matthijs Vákár、Sam Staton、Hongseok Yang、Yufei Cai、Klaus Ostermann、Sean k.Moss、Chris Heunen和Zoubin Ghahramani 在 程序。 ACM计划。 语言。 。 第2卷。 没有POPL。 第60:1–60:29页。 2018 细节 关于 高阶贝叶斯推理的外延验证 | BibTeX公司 的数据 高阶贝叶斯推理的外延验证 | 内政部(10.1145/3158148) | 链接 到 高阶贝叶斯推理的外延验证 -
[30] 效应代数预加重非局部性和上下文性 Sam Staton和Sander Uijlen 在 Inf.计算。 。 第261卷。 第336–354页。 2018 细节 关于 效应代数预加重非局部性和上下文性 | BibTeX公司 的数据 效应代数预加重非局部性和上下文性 | 内政部(10.1016/j.ic.2018.02.012) | 链接 到 效应代数预加重非局部性和上下文性 -
[31] 丰富范畴理论中的经典控制与量子电路 Mathys Rennela和Sam Staton 编辑Sam Staton, 2018年6月6日至9日加拿大哈利法克斯达尔豪西大学第三十四届编程语义数学基础会议记录 。 第341卷 理论计算机科学电子笔记。 第257-279页。 爱思唯尔。 2018 细节 关于 丰富范畴理论中的经典控制与量子电路 | BibTeX公司 的数据 丰富范畴理论中的经典控制与量子电路 | 内政部(10.1016/j.entcs.2018.03.027) | 链接 到 丰富范畴理论中的经典控制与量子电路 -
[32] 前言 萨姆·斯塔顿 编辑Sam Staton, 2018年6月6日至9日加拿大哈利法克斯达尔豪西大学第三十四届编程语义数学基础会议记录 。 第341卷 理论计算机科学电子笔记。 第1-3页。 爱思唯尔。 2018 细节 关于 前言 | BibTeX公司 的数据 前言 | 内政部(10.1016/j.entcs.2018.11.001) | 链接 到 前言 -
[33] 量子理论中的普遍性质 马修·霍特和萨姆·斯塔顿 编辑彼得·塞林格和朱利奥·奇里贝拉, 第15届量子物理和逻辑国际会议论文集2018年QPL加拿大哈利法克斯 。 第287卷 EPTCS。 第213-223页。 2018 细节 关于 量子理论中的普遍性质 | BibTeX公司 的数据 量子理论中的普遍性质 | 内政部(10.4204/EPTCS.287.12) | 链接 到 量子理论中的普遍性质 -
[34] Beta−Bernoulli过程和代数效应 Sam Staton、Dario Stein、Hongseok Yang、Nathanel L.Ackerman、Cameron E.Freer和Daniel M.Roy 在Ioannis Chatzigianakis、Christos Kaklamanis、Dániel Marx和Donald Sannella的编辑中, 第45届自动化语言与编程国际学术讨论会2018年7月9日至13日捷克布拉格 。 第107卷 LIPIC的数量。 第141:1–141:15页。 Dagstuhl−Leibniz−Zentrum für Informatik宫。 2018 细节 关于 Beta−Bernoulli过程和代数效应 | BibTeX公司 的数据 Beta−Bernoulli过程和代数效应 | 内政部(10.4230/LIPIcs.ICALP.2018.141) | 链接 到 Beta−Bernoulli过程和代数效应 -
[35] 从程序设计的角度看概率论(特邀论文) 萨姆·斯塔顿 在Ioannis Chatzigianakis、Christos Kaklamanis、Dániel Marx和Donald Sannella的编辑中, 第45届自动化语言与编程国际学术讨论会2018年7月9日至13日捷克布拉格 。 第107卷 LIPIC的数量。 第3:1–3:1页。 Dagstuhl−Leibniz−Zentrum für Informatik宫。 2018 细节 关于 从程序设计的角度看概率论(特邀论文) | BibTeX公司 的数据 从程序设计的角度看概率论(特邀论文) | 内政部(10.4230/LIPIcs.ICALP.2018.3) | 链接 到 从程序设计的角度看概率论(特邀论文) -
[36] 2018年6月6日至9日加拿大哈利法克斯达尔豪西大学第三十四届编程语义数学基础会议记录 编辑Sam Staton 细节 关于 2018年6月6日至9日加拿大哈利法克斯达尔豪西大学第三十四届编程语义数学基础会议记录 | BibTeX公司 的数据 2018年6月6日至9日加拿大哈利法克斯达尔豪西大学第三十四届编程语义数学基础会议记录 | 链接 到 2018年6月6日至9日加拿大哈利法克斯达尔豪西大学第三十四届编程语义数学基础会议记录 -
[37] 丰富范畴理论中的经典控制量子电路和线性逻辑 Mathys Rennela和Sam Staton 在 CoRR公司 。 第1卷abs/1711.05159。 2017 细节 关于 丰富范畴理论中的经典控制量子电路和线性逻辑 | BibTeX公司 的数据 丰富范畴理论中的经典控制量子电路和线性逻辑 | 链接 到 丰富范畴理论中的经典控制量子电路和线性逻辑 -
[38] 高阶贝叶斯推理的外延验证 Adam cibior、Ohad Kammar、Matthijs Vákár、Sam Staton、Hongseok Yang、Yufei Cai、Klaus Ostermann、Sean k.Moss、Chris Heunen和Zoubin Ghahramani 在 CoRR公司 。 第1卷abs/1711.03219。 2017 -
[39] 用于完整地面参考电池的单子 Ohad Kammar、Paul Blain Levy、Sean K.Moss和Sam Staton 在 CoRR公司 。 第1卷abs/1702.04908。 2017 细节 关于 用于完整地面参考电池的单子 | BibTeX公司 的数据 用于完整地面参考电池的单子 | 链接 到 用于完整地面参考电池的单子 -
[40] 高阶概率理论的一个方便范畴 Chris Heunen、Ohad Kammar、Sam Staton和Hongseok Yang 在 CoRR公司 。 卷abs/1701.02547。 2017 细节 关于 高阶概率论的一个方便范畴 | BibTeX公司 的数据 高阶概率理论的一个方便范畴 | 链接 到 高阶概率理论的一个方便范畴 -
[41] 通过分配律和左−零幺半群的割回溯 马西耶·皮尔和萨姆·斯塔顿 在 J.功能。 程序。 。 第27卷。 第17页。 2017 细节 关于 通过分配律和左−零幺半群的割回溯 | BibTeX公司 的数据 通过分配律和左−零幺半群的割回溯 | 内政部(10.1017/S0956796817000077) | 链接 到 通过分配律和左−零幺半群的割回溯 -
[42] 用于完整地面参考电池的单子 Ohad Kammar、Paul Blain Levy、Sean K.Moss和Sam Staton 在 第32届ACM/IEEE计算机科学逻辑年会2017年6月20日至23日在冰岛雷克雅未克举行 。 第1-12页。 IEEE计算机学会。 2017 细节 关于 用于完整地面参考电池的单子 | BibTeX公司 的数据 用于完整地面参考电池的单子 | 内政部(10.1109/LICS.2017.8005109) | 链接 到 用于完整地面参考电池的单子 -
[43] 高阶概率理论的一个方便范畴 Chris Heunen、Ohad Kammar、Sam Staton和Hongseok Yang 在 第32届ACM/IEEE计算机科学逻辑年会2017年6月20日至23日在冰岛雷克雅未克举行 。 第1-12页。 IEEE计算机学会。 2017 细节 关于 高阶概率论的一个方便范畴 | BibTeX公司 的数据 高阶概率理论的一个方便范畴 | 内政部(10.1109/LICS.2017.8005137) | 链接 到 高阶概率理论的一个方便范畴 -
[44] 概率规划中的交换语义 萨姆·斯塔顿 编辑杨洪硕, 编程语言和系统——作为欧洲软件理论与实践联合会议的一部分,于2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会“2017年ESOP” 。 第10201卷 计算机科学课堂讲稿。 第855-879页。 斯普林格。 2017 细节 关于 概率规划的交换语义 | BibTeX公司 的数据 概率规划中的交换语义 | 内政部(10.1007/978-3-662-54434-1\_32) | 链接 到 概率规划中的交换语义 -
[45] 概率规划的语义:高阶函数“连续分布”和软约束 Sam Staton、Hongseok Yang、Chris Heune、Ohad Kammar和Frank D.Wood 在 CoRR公司 。 卷abs/1601.04943。 2016 细节 关于 概率规划的语义:高阶函数“连续分布”和软约束 | BibTeX公司 的数据 概率规划的语义:高阶函数“连续分布”和软约束 | 链接 到 概率规划的语义:高阶函数“连续分布”和软约束 -
[46] 量子基础中的无穷维:作为矩阵代数上预设的W*−代数 Mathys Rennela、Sam Staton和Robert Furber 编辑Ross Duncan和Chris Heunen, 第13届量子物理和逻辑国际会议论文集2016年6月6日至10日,苏格兰格拉斯哥 。 第236卷 EPTCS。 第161-173页。 2016 细节 关于 量子基础中的无穷维:作为矩阵代数上预设的W*−代数 | BibTeX公司 的数据 量子基础中的无穷维:作为矩阵代数上预设的W*−代数 | 内政部(10.4204/EPTCS.236.11) | 链接 到 量子基础中的无穷维:作为矩阵代数上预设的W*−代数 -
[47] 概率规划的语义:高阶函数“连续分布”和软约束 Sam Staton、Hongseok Yang、Frank D.Wood、Chris Heune和Ohad Kammar Martin Grohe、Eric Koskinen和Natarajan Shankar,编辑, 2016年7月5日至8日,第31届ACM/IEEE计算机科学逻辑年度研讨会论文集 。 第525-534页。 ACM公司。 2016 细节 关于 概率规划的语义:高阶函数“连续分布”和软约束 | BibTeX公司 的数据 概率规划的语义:高阶函数“连续分布”和软约束 | 内政部(10.1145/2933575.2935313) | 链接 到 概率规划的语义:高阶函数“连续分布”和软约束 -
[48] 量子计算的完全正性与自然表示 Mathys Rennela和Sam Staton 编辑Dan R.Ghica, 2015年6月22日至25日荷兰奈梅亨第31届编程语义数学基础会议 。 第319卷 理论计算机科学电子笔记。 第369-385页。 爱思唯尔。 2015 细节 关于 量子计算的完全正性与自然表示 | BibTeX公司 的数据 量子计算的完全正性与自然表示 | 内政部(10.1016/j.entcs.2015.12.022) | 链接 到 量子计算的完全正性与自然表示 -
[49] 物理维上的多态模型 Robert Atkey、Neil Ghani、Fredrik Nordvall Forsberg、Timothy Revell和Sam Staton 编辑托尔斯滕·阿尔滕科奇, 第十三届Lambda类型演算与应用国际会议2015年TLCA 2015年7月1日至3日波兰华沙 。 第38卷 LIPIcs。 第45-59页。 Dagstuhl−Leibniz−Zentrum für Informatik宫。 2015 细节 关于 物理维上的多态模型 | BibTeX公司 的数据 物理维上的多态模型 | 内政部(10.4230/LIPIcs.TLCA.2015.45) | 链接 到 物理维上的多态模型 -
[50] 代数效应、线性和量子编程语言 萨姆·斯塔顿 在Sriram K.Rajamani和David Walker的编辑中, 2015年1月15日至17日在印度孟买举行的第42届ACM SIGPLAN–SIGACT编程语言原则研讨会会议记录 。 第395-406页。 ACM公司。 2015 细节 关于 代数效应、线性和量子编程语言 | BibTeX公司 的数据 代数效应、线性和量子编程语言 | DOI(10.1145/2676726.2676999) | 链接 到 代数效应、线性和量子编程语言 -
[51] 效应代数“预设”的非局部性和上下文性 Sam Staton和Sander Uijlen 在Magnüs M.Halld rsson、Kazuo Iwama、Naoki Kobayashi和Bettina Speckmann的编辑中, 自动化语言与编程第42届国际学术讨论会ICALP 2015京都日本2015年7月6日至10日会议记录第二部分 。 第9135卷 计算机科学课堂讲稿。 第401-413页。 斯普林格。 2015 细节 关于 效应代数“预设”的非局部性和上下文性 | BibTeX公司 的数据 效果代数“Presheaves”非局部性和上下文 | DOI(10.1007/978-3-662-47666-6\_32) | 链接 到 效应代数“预设”的非局部性和上下文性 -
[52] Freyd类别是丰富的Lawvere理论 萨姆·斯塔顿 在 电子。 注释Theor。 计算。 科学。 。 第303卷。 第197-206页。 2014 细节 关于 Freyd类别是丰富的Lawvere理论 | BibTeX公司 的数据 Freyd类别是丰富的Lawvere理论 | 内政部(10.1016/j.entcs.2014.02.010) | 链接 到 Freyd类别是丰富的Lawvere理论 -
[53] 状态的线性使用 拉斯穆斯·埃杰勒斯·莫格尔伯格和萨姆·斯塔顿 在 日志。 方法计算。 科学。 。 第10卷。 1号。 2014 细节 关于 状态的线性使用 | BibTeX公司 的数据 状态的线性使用 | 内政部(10.2168/LMCS-10(1:17)2014) | 链接 到 状态的线性使用 -
[54] 前言 Bart Jacobs、Alexandra Silva和Sam Staton 编辑Bart Jacobs、Alexandra Silva和Sam Staton, 2014年6月12日至15日在美国纽约伊萨卡举行的第30届程序设计语义数学基础会议记录 。 第308卷 理论计算机科学电子笔记。 第1–2页。 爱思唯尔。 2014 细节 关于 前言 | BibTeX公司 的数据 前言 | 内政部(10.1016/j.entcs.2014.10.001) | 链接 到 前言 -
[55] 游戏过渡系统 保罗·布莱恩·利维和萨姆·斯塔顿 编辑托马斯·汉津格(Thomas A.Henzinger)和戴尔·米勒(Dale Miller), 2014年7月14日至18日,第二十三届EACSL计算机科学逻辑年会(CSL)和第二十九届ACM/IEEE计算机科学逻辑研讨会(LICS)联合会议,奥地利维也纳 。 第64:1–64:10页。 ACM公司。 2014 细节 关于 游戏过渡系统 | BibTeX公司 的数据 游戏过渡系统 | DOI(10.1145/2603088.2603150) | 链接 到 游戏过渡系统 -
[56] 代换跳跃和代数效应 马塞洛·菲奥雷和萨姆·斯塔顿 编辑托马斯·汉津格(Thomas A.Henzinger)和戴尔·米勒(Dale Miller), 2014年7月14日至18日,第二十三届EACSL计算机科学逻辑年会(CSL)和第二十九届ACM/IEEE计算机科学逻辑研讨会(LICS)联合会议,奥地利维也纳 。 第41:1–41:10页。 ACM公司。 2014 细节 关于 代换跳跃和代数效应 | BibTeX公司 的数据 代换跳跃和代数效应 | 内政部(10.1145/2603088.2603163) | 链接 到 代换跳跃和代数效应 -
[57] 2014年6月12日至15日在美国纽约伊萨卡举行的第30届程序设计语义数学基础会议记录 Bart Jacobs、Alexandra Silva和Sam Staton,编辑 细节 关于 2014年6月12日至15日在美国纽约伊萨卡举行的第30届程序设计语义数学基础会议记录 | BibTeX公司 的数据 2014年6月12日至15日在美国纽约伊萨卡举行的第30届程序设计语义数学基础会议记录 | 链接 到 2014年6月12日至15日在美国纽约伊萨卡举行的第30届程序设计语义数学基础会议记录 -
[58] 评估归一化和代数效应 Danel Ahman和Sam Staton 在Dexter Kozen和Michael W.Mislove的编辑中, 第二十九届程序设计语义数学基础会议纪要(2013年6月23日至25日,美国新奥尔良洛杉矶) 。 第298卷 理论计算机科学电子笔记。 第51-69页。 爱思唯尔。 2013 细节 关于 评估归一化和代数效应 | BibTeX公司 的数据 评价归一化与代数效应 | 内政部(10.1016/j.entcs.2013.09.007) | 链接 到 评估归一化和代数效应 -
[59] 非纯编程语言的通用性质 萨姆·斯塔顿和保罗·布莱恩·利维 在罗伯特·贾科巴齐和拉迪亚·库索特的编辑中, 2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN–SIGACT编程语言原则研讨会 。 第179-192页。 ACM公司。 2013 细节 关于 非纯编程语言的通用性质 | BibTeX公司 的数据 非纯编程语言的通用性质 | DOI(10.1145/24209069.2429091) | 链接 到 不纯程序设计语言的普遍性质 -
[60] 计算效果的实例:代数的观点 萨姆·斯塔顿 在 第28届ACM/IEEE计算机科学逻辑年度研讨会2013年6月25日至28日在美国新奥尔良举行 。 第519页。 IEEE计算机学会。 2013 细节 关于 计算效果的实例:代数的观点 | BibTeX公司 的数据 计算效果的实例:代数的观点 | DOI(10.1109/LICS.2013.58) | 链接 到 计算效果的实例:代数的观点 -
[61] 谓词逻辑的代数表示(扩展抽象) 萨姆·斯塔顿 编辑Frank Pfenning, 软件科学和计算结构基础——第16届国际会议“2013年FOSSACS”,作为欧洲软件理论与实践联合会议“ETAPS 2013”的一部分,于2013年3月16日至24日在意大利罗马举行。 诉讼 。 第7794卷 计算机科学课堂讲稿。 第401-417页。 斯普林格。 2013 细节 关于 谓词逻辑的代数表示(扩展抽象) | BibTeX公司 的数据 谓词逻辑的代数表示(扩展抽象) | 内政部(10.1007/978-3-642-37075-5\_26) | 链接 到 谓词逻辑的代数表示(扩展抽象) -
[62] 基于动态图像照明的光聚类 Sam Staton、Kurt Debattista、Thomas Bashford−Rogers和Alan Chalmers 在Hamish A.Carr和Silvester Czanner的编辑中, 计算机制图理论与实践卢瑟福英国,2012年。 诉讼 。 第17-24页。 欧洲制图协会。 2012 细节 关于 基于动态图像照明的光聚类 | BibTeX公司 的数据 基于动态图像照明的光聚类 | 内政部(10.2312/当地章节活动/TPCG/TPCG12/017-024) | 链接 到 基于动态图像照明的光聚类 -
[63] 相互模拟的相关联代数概念 萨姆·斯塔顿 在 日志。 方法计算。 科学。 。 第7卷。 1号。 2011 细节 关于 相互模拟的相关联代数概念 | BibTeX公司 的数据 关联的共刺激概念 | DOI(10.2168/LMCS-7(1:13)2011) | 链接 到 相互模拟的相关联代数概念 -
[64] 按值调用模型中的线性使用状态 拉斯穆斯·埃杰勒斯·莫格尔伯格和萨姆·斯塔顿 安德烈亚·科拉迪尼·巴泰克·克林(Andrea Corradini,Bartek Klin)和科琳娜·科斯特(Corina Cêrstea)编辑, 计算机科学中的代数和余代数——2011年8月30日至9月2日在英国温彻斯特举行的第四届国际会议“CALCO 2011”。 诉讼 。 第6859卷 计算机科学课堂讲稿。 第298-313页。 斯普林格。 2011 细节 关于 按值调用模型中的线性使用状态 | BibTeX公司 的数据 按值调用模型中的线性使用状态 | 内政部(10.1007/978-3642-22944-2\_21) | 链接 到 按值调用模型中的线性使用状态 -
[65] 论事件结构中对称性的表达 萨姆·斯塔顿和格林·温斯克尔 在 2010年7月11日至14日在英国爱丁堡举行的第25届IEEE计算机科学逻辑年会论文集 。 第392-401页。 IEEE计算机学会。 2010 细节 关于 论事件结构中对称性的表达 | BibTeX公司 的数据 论事件结构中对称性的表达 | 内政部(10.1109/LICS.2010.37) | 链接 到 论事件结构中对称性的表达 -
[66] 局部状态代数理论的完备性 萨姆·斯塔顿 编辑C.−H.Luke Ong, 软件科学和计算结构基础第13届国际会议2010年FOSSACS作为欧洲软件理论与实践联合会议的一部分于2010年3月20日至28日在塞浦路斯帕福斯举行。 诉讼 。 第6014卷 计算机科学课堂讲稿。 第48-63页。 斯普林格。 2010 细节 关于 局部状态代数理论的完备性 | BibTeX公司 的数据 局部状态代数理论的完备性 | 内政部(10.1007/978-3642-12032-9\_5) | 链接 到 局部状态代数理论的完备性 -
[67] 高阶集装箱 托尔斯滕·阿滕基尔奇、保罗·布莱恩·利维和萨姆·斯塔顿 Fernando Ferreira、Benedikt Löwe、Elvira Mayordomo和Luis Mendes Gomes,编辑, 项目“校对”“流程”“第六届欧洲可计算性会议”“2010年欧洲计算机工程师大会”“德尔加达桥”“亚速尔群岛”“葡萄牙”“2010年6月30日至7月4日”。 诉讼 。 第6158卷 计算机科学课堂讲稿。 第11-20页。 斯普林格。 2010 细节 关于 高阶集装箱 | BibTeX公司 的数据 高阶集装箱 | 内政部(10.1007/978-3-642-13962-8\_2) | 链接 到 高阶集装箱 -
[68] 名称传递过程计算的同余规则格式 马塞洛·菲奥雷和萨姆·斯塔顿 在 Inf.计算。 。 第207卷。 2号。 第209-236页。 2009 细节 关于 名称传递过程计算的同余规则格式 | BibTeX公司 的数据 名称传递过程计算的同余规则格式 | 内政部(10.1016/j.ic.2007.12.005) | 链接 到 名称传递过程计算的同余规则格式 -
[69] 二合一:局部状态和新鲜名称的代数理论表示 萨姆·斯塔顿 在Samson Abramsky、Michael W.Mislove和Catuscia Palamidessi的编辑中, 2009年4月3日至7日在英国牛津举行的第25届编程语义数学基础会议记录 。 第249卷 理论计算机科学电子笔记。 第471-490页。 爱思唯尔。 2009 细节 关于 二合一:局部状态和新鲜名称的代数理论表示 | BibTeX公司 的数据 二合一:局部状态和新名称的代数理论介绍 | 内政部(10.1016/j.entcs.2009.07.103) | 链接 到 二合一:局部状态和新鲜名称的代数理论表示 -
[70] 互模拟的相关余代数概念 萨姆·斯塔顿 在亚历山大·库茨(Alexander Kurz)、玛丽娜·莱尼萨(Marina Lenisa)和安德烈·塔莱基(Andrzej Tarlecki)的编辑中, 计算机科学中的代数和余代数第三届国际会议CALCO 2009意大利乌迪内,2009年9月7日至10日。 诉讼 。 第5728卷 计算机科学课堂讲稿。 第191-205页。 斯普林格。 2009 细节 关于 互模拟的相关余代数概念 | BibTeX公司 的数据 关于共刺激的哥白利概念 | DOI(10.1007/978-3-642-03741-2\_14) | 链接 到 互模拟的相关余代数概念 -
[71] 基于范畴逻辑的一般结构操作语义 萨姆·斯塔顿 在 第二十三届IEEE计算机科学逻辑年会论文集,2008年6月24日至27日,美国宾夕法尼亚州匹兹堡 。 第166-177页。 IEEE计算机学会。 2008 细节 关于 基于范畴逻辑的一般结构操作语义 | BibTeX公司 的数据 基于范畴逻辑的一般结构操作语义 | 内政部(10.1109/LICS.2008.43) | 链接 到 基于范畴逻辑的一般结构操作语义 -
[72] 比较名字传递过程计算的操作模型 马塞洛·菲奥雷和萨姆·斯塔顿 在 Inf.计算。 。 第204卷。 第四。 第524-560页。 2006 细节 关于 比较名字传递过程计算的操作模型 | BibTeX公司 的数据 比较名字传递过程计算的操作模型 | 内政部(10.1016/j.ic.2005.08.004) | 链接 到 比较名字传递过程计算的操作模型 -
[73] 基于数学结构操作语义的传名过程演算同余规则格式 马塞洛·菲奥雷和萨姆·斯塔顿 在 第21届IEEE计算机科学逻辑研讨会(LICS 2006)?2006年8月12日至15日?美国西雅图WA会议录 。 第49-58页。 IEEE计算机学会。 2006 细节 关于 基于数学结构操作语义的传名过程演算同余规则格式 | BibTeX公司 的数据 从数学结构操作语义看名称传递过程演算的同余规则格式 | 内政部(10.1109/LICS.2006.7) | 链接 到 基于数学结构操作语义的传名过程演算同余规则格式 -
[74] 传名过程演算的操作模型比较 马塞洛·菲奥雷和萨姆·斯塔顿 编辑JiríAdámek和Stefan Milius, 2004年3月27日至29日在西班牙巴塞罗那举行的计算机科学中的同胚方法研讨会会议记录 。 第106卷 理论计算机科学电子笔记。 第91-104页。 爱思唯尔。 2004 细节 关于 传名过程演算的操作模型比较 | BibTeX公司 的数据 名称传递过程演算的运算模型比较 | 内政部(10.1016/j.entcs.2004.02.025) | 链接 到 传名过程演算的操作模型比较