Sam Staton : Publications
Click here to download all publications in a single bibtex file
@misc{PLnote,
title = "Note: Not all publications are listed here. Please see <a href="https://www.cs.ox.ac.uk/research/pl/people.html">people pages</a>.",
author = " ",
year = "2099",
}
@article{DBLP:journals/pacmpl/DashKPS23,
title = "Affine Monads and Lazy Structures for Bayesian Programming",
author = "Swaraj Dash and Younesse Kaddar and Hugo Paquet and Sam Staton",
year = "2023",
journal = "Proc. {ACM} Program. Lang.",
number = "{POPL}",
pages = "1338--1368",
url = "https://doi.org/10.1145/3571239",
volume = "7",
doi = "10.1145/3571239",
}
@article{DBLP:journals/pacmpl/LewHSM23,
title = "{ADEV:} Sound Automatic Differentiation of Expected Values of Probabilistic Programs",
author = "Alexander K. Lew and Mathieu Huot and Sam Staton and Vikash K. Mansinghka",
year = "2023",
journal = "Proc. {ACM} Program. Lang.",
number = "{POPL}",
pages = "121--153",
url = "https://doi.org/10.1145/3571198",
volume = "7",
doi = "10.1145/3571198",
}
@article{DBLP:journals/corr/abs-2207-05832,
title = "Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras",
author = "Sam Staton and Ned Summers",
year = "2022",
journal = "CoRR",
url = "https://doi.org/10.48550/arXiv.2207.05832",
volume = "abs/2207.05832",
doi = "10.48550/arXiv.2207.05832",
}
@article{DBLP:journals/corr/abs-2205-15917,
title = "Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction)",
author = "Cristina Matache and Sean K. Moss and Sam Staton",
year = "2022",
journal = "CoRR",
url = "https://doi.org/10.48550/arXiv.2205.15917",
volume = "abs/2205.15917",
doi = "10.48550/arXiv.2205.15917",
}
@article{DBLP:journals/lmcs/HuotSV22,
title = "Higher Order Automatic Differentiation of Higher Order Functions",
author = "Mathieu Huot and Sam Staton and Matthijs V{\'{a}}k{\'{a}}r",
year = "2022",
journal = "Log. Methods Comput. Sci.",
number = "1",
url = "https://doi.org/10.46298/lmcs-18(1:41)2022",
volume = "18",
doi = "10.46298/lmcs-18(1:41)2022",
}
@inproceedings{DBLP:conf/lics/MatacheMS22,
title = "Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction",
author = "Cristina Matache and Sean K. Moss and Sam Staton",
year = "2022",
booktitle = "{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022",
editor = "Christel Baier and Dana Fisman",
pages = "57:1--57:14",
publisher = "{ACM}",
url = "https://doi.org/10.1145/3531130.3533370",
doi = "10.1145/3531130.3533370",
}
@article{DBLP:journals/corr/abs-2105-02156,
title = "Recursion and Sequentiality in Categories of Sheaves",
author = "Cristina Matache and Sean K. Moss and Sam Staton",
year = "2021",
journal = "CoRR",
url = "https://arxiv.org/abs/2105.02156",
volume = "abs/2105.02156",
}
@article{DBLP:journals/corr/abs-2101-11351,
title = "Compositional Semantics for Probabilistic Programs with Exact Conditioning",
author = "Dario Stein and Sam Staton",
year = "2021",
journal = "CoRR",
url = "https://arxiv.org/abs/2101.11351",
volume = "abs/2101.11351",
}
@article{DBLP:journals/corr/abs-2101-06757,
title = "Higher Order Automatic Differentiation of Higher Order Functions",
author = "Mathieu Huot and Sam Staton and Matthijs V{\'{a}}k{\'{a}}r",
year = "2021",
journal = "CoRR",
url = "https://arxiv.org/abs/2101.06757",
volume = "abs/2101.06757",
}
@article{DBLP:journals/pacmpl/SabokSSW21,
title = "Probabilistic programming semantics for name generation",
author = "Marcin Sabok and Sam Staton and Dario Stein and Michael Wolman",
year = "2021",
journal = "Proc. {ACM} Program. Lang.",
number = "{POPL}",
pages = "1--29",
url = "https://doi.org/10.1145/3434292",
volume = "5",
doi = "10.1145/3434292",
}
@inproceedings{DBLP:journals/corr/abs-2112-14048,
title = "Monads for Measurable Queries in Probabilistic Databases",
author = "Swaraj Dash and Sam Staton",
year = "2021",
booktitle = "Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021",
editor = "Ana Sokolova",
pages = "34--50",
series = "{EPTCS}",
url = "https://doi.org/10.4204/EPTCS.351.3",
volume = "351",
doi = "10.4204/EPTCS.351.3",
}
@inproceedings{DBLP:conf/lics/SteinS21,
title = "Compositional Semantics for Probabilistic Programs with Exact Conditioning",
author = "Dario Stein and Sam Staton",
year = "2021",
booktitle = "36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2021, Rome, Italy, June 29 - July 2, 2021",
pages = "1--13",
publisher = "{IEEE}",
url = "https://doi.org/10.1109/LICS52264.2021.9470552",
doi = "10.1109/LICS52264.2021.9470552",
}
@inproceedings{DBLP:conf/fscd/MatacheMS21,
title = "Recursion and Sequentiality in Categories of Sheaves",
author = "Cristina Matache and Sean K. Moss and Sam Staton",
year = "2021",
booktitle = "6th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)",
editor = "Naoki Kobayashi",
pages = "25:1--25:22",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.FSCD.2021.25",
volume = "195",
doi = "10.4230/LIPIcs.FSCD.2021.25",
}
@inproceedings{DBLP:conf/fscd/Staton21,
title = "Some Formal Structures in Probability (Invited Talk)",
author = "Sam Staton",
year = "2021",
booktitle = "6th International Conference on Formal Structures for Computation and Deduction, {FSCD} 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference)",
editor = "Naoki Kobayashi",
pages = "4:1--4:4",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.FSCD.2021.4",
volume = "195",
doi = "10.4230/LIPIcs.FSCD.2021.4",
}
@article{DBLP:journals/corr/abs-2007-08638,
title = "Probabilistic Programming Semantics for Name Generation",
author = "Marcin Sabok and Sam Staton and Dario Stein and Michael Wolman",
year = "2020",
journal = "CoRR",
url = "https://arxiv.org/abs/2007.08638",
volume = "abs/2007.08638",
}
@article{DBLP:journals/corr/abs-2001-02209,
title = "Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing",
author = "Mathieu Huot and Sam Staton and Matthijs V{\'{a}}k{\'{a}}r",
year = "2020",
journal = "CoRR",
url = "http://arxiv.org/abs/2001.02209",
volume = "abs/2001.02209",
}
@article{DBLP:journals/lmcs/RennelaS19,
title = "Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory",
author = "Mathys Rennela and Sam Staton",
year = "2020",
journal = "Log. Methods Comput. Sci.",
number = "1",
url = "https://doi.org/10.23638/LMCS-16(1:30)2020",
volume = "16",
doi = "10.23638/LMCS-16(1:30)2020",
}
@inproceedings{DBLP:journals/corr/abs-2101-10479,
title = "A Monad for Probabilistic Point Processes",
author = "Swaraj Dash and Sam Staton",
year = "2020",
booktitle = "Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020",
editor = "David I. Spivak and Jamie Vicary",
pages = "19--32",
series = "{EPTCS}",
url = "https://doi.org/10.4204/EPTCS.333.2",
volume = "333",
doi = "10.4204/EPTCS.333.2",
}
@inproceedings{DBLP:conf/fossacs/HuotSV20,
title = "Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing",
author = "Mathieu Huot and Sam Staton and Matthijs V{\'{a}}k{\'{a}}r",
year = "2020",
booktitle = "Foundations of Software Science and Computation Structures - 23rd International Conference, {FOSSACS} 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30, 2020, Proceedings",
editor = "Jean Goubault{-}Larrecq and Barbara K{\"{o}}nig",
pages = "319--338",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-030-45231-5\_17",
volume = "12077",
doi = "10.1007/978-3-030-45231-5\_17",
}
@inproceedings{DBLP:conf/cmcs/0001S20,
title = "De Finetti's Construction as a Categorical Limit",
author = "Bart Jacobs and Sam Staton",
year = "2020",
booktitle = "Coalgebraic Methods in Computer Science - 15th {IFIP} {WG} 1.3 International Workshop, {CMCS} 2020, Colocated with {ETAPS} 2020, Dublin, Ireland, April 25-26, 2020, Proceedings",
editor = "Daniela Petrisan and Jurriaan Rot",
pages = "90--111",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-030-57201-3\_6",
volume = "12094",
doi = "10.1007/978-3-030-57201-3\_6",
}
@article{DBLP:journals/corr/abs-1904-09600,
title = "Quantum channels as a categorical completion",
author = "Mathieu Huot and Sam Staton",
year = "2019",
journal = "CoRR",
url = "http://arxiv.org/abs/1904.09600",
volume = "abs/1904.09600",
}
@article{DBLP:journals/pacmpl/VakarKS19,
title = "A domain theory for statistical probabilistic programming",
author = "Matthijs V{\'{a}}k{\'{a}}r and Ohad Kammar and Sam Staton",
year = "2019",
journal = "Proc. {ACM} Program. Lang.",
number = "{POPL}",
pages = "36:1--36:29",
url = "https://doi.org/10.1145/3290349",
volume = "3",
doi = "10.1145/3290349",
}
@inproceedings{DBLP:conf/lics/HuotS19,
title = "Quantum channels as a categorical completion",
author = "Mathieu Huot and Sam Staton",
year = "2019",
booktitle = "34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019",
pages = "1--13",
publisher = "{IEEE}",
url = "https://doi.org/10.1109/LICS.2019.8785700",
doi = "10.1109/LICS.2019.8785700",
}
@inproceedings{DBLP:conf/fossacs/MatacheS19,
title = "A Sound and Complete Logic for Algebraic Effects",
author = "Cristina Matache and Sam Staton",
year = "2019",
booktitle = "Foundations of Software Science and Computation Structures - 22nd International Conference, {FOSSACS} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings",
editor = "Mikolaj Bojanczyk and Alex Simpson",
pages = "382--399",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-030-17127-8\_22",
volume = "11425",
doi = "10.1007/978-3-030-17127-8\_22",
}
@proceedings{DBLP:conf/tbillc/2017,
title = "Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers",
year = "2019",
editor = "Alexandra Silva and Sam Staton and Peter Sutton and Carla Umbach",
isbn = "978-3-662-59564-0",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-662-59565-7",
volume = "11456",
doi = "10.1007/978-3-662-59565-7",
}
@article{DBLP:journals/corr/abs-1811-04196,
title = "A Domain Theory for Statistical Probabilistic Programming",
author = "Matthijs V{\'{a}}k{\'{a}}r and Ohad Kammar and Sam Staton",
year = "2018",
journal = "CoRR",
url = "http://arxiv.org/abs/1811.04196",
volume = "abs/1811.04196",
}
@article{DBLP:journals/corr/abs-1802-09598,
title = "The Beta-Bernoulli process and algebraic effects",
author = "Sam Staton and Dario Stein and Hongseok Yang and Nathanael L. Ackerman and Cameron E. Freer and Daniel M. Roy",
year = "2018",
journal = "CoRR",
url = "http://arxiv.org/abs/1802.09598",
volume = "abs/1802.09598",
}
@article{DBLP:journals/pacmpl/ScibiorKVSYCOMH18,
title = "Denotational validation of higher-order Bayesian inference",
author = "Adam {\'{S}}cibior and Ohad Kammar and Matthijs V{\'{a}}k{\'{a}}r and Sam Staton and Hongseok Yang and Yufei Cai and Klaus Ostermann and Sean K. Moss and Chris Heunen and Zoubin Ghahramani",
year = "2018",
journal = "Proc. {ACM} Program. Lang.",
number = "{POPL}",
pages = "60:1--60:29",
url = "https://doi.org/10.1145/3158148",
volume = "2",
doi = "10.1145/3158148",
}
@article{DBLP:journals/iandc/StatonU18,
title = "Effect algebras, presheaves, non-locality and contextuality",
author = "Sam Staton and Sander Uijlen",
year = "2018",
journal = "Inf. Comput.",
pages = "336--354",
url = "https://doi.org/10.1016/j.ic.2018.02.012",
volume = "261",
doi = "10.1016/j.ic.2018.02.012",
}
@inproceedings{DBLP:journals/entcs/RennelaS18,
title = "Classical Control and Quantum Circuits in Enriched Category Theory",
author = "Mathys Rennela and Sam Staton",
year = "2018",
booktitle = "Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018",
editor = "Sam Staton",
pages = "257--279",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://doi.org/10.1016/j.entcs.2018.03.027",
volume = "341",
doi = "10.1016/j.entcs.2018.03.027",
}
@inproceedings{DBLP:journals/entcs/Staton18,
title = "Preface",
author = "Sam Staton",
year = "2018",
booktitle = "Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018",
editor = "Sam Staton",
pages = "1--3",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://doi.org/10.1016/j.entcs.2018.11.001",
volume = "341",
doi = "10.1016/j.entcs.2018.11.001",
}
@inproceedings{DBLP:journals/corr/abs-1901-10117,
title = "Universal Properties in Quantum Theory",
author = "Mathieu Huot and Sam Staton",
year = "2018",
booktitle = "Proceedings 15th International Conference on Quantum Physics and Logic, {QPL} 2018, Halifax, Canada, 3-7th June 2018",
editor = "Peter Selinger and Giulio Chiribella",
pages = "213--223",
series = "{EPTCS}",
url = "https://doi.org/10.4204/EPTCS.287.12",
volume = "287",
doi = "10.4204/EPTCS.287.12",
}
@inproceedings{DBLP:conf/icalp/StatonSYAF018,
title = "The Beta-Bernoulli process and algebraic effects",
author = "Sam Staton and Dario Stein and Hongseok Yang and Nathanael L. Ackerman and Cameron E. Freer and Daniel M. Roy",
year = "2018",
booktitle = "45th International Colloquium on Automata, Languages, and Programming, {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic",
editor = "Ioannis Chatzigiannakis and Christos Kaklamanis and D{\'{a}}niel Marx and Donald Sannella",
pages = "141:1--141:15",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.ICALP.2018.141",
volume = "107",
doi = "10.4230/LIPIcs.ICALP.2018.141",
}
@inproceedings{DBLP:conf/icalp/Staton18,
title = "Probability Theory from a Programming Perspective (Invited Paper)",
author = "Sam Staton",
year = "2018",
booktitle = "45th International Colloquium on Automata, Languages, and Programming, {ICALP} 2018, July 9-13, 2018, Prague, Czech Republic",
editor = "Ioannis Chatzigiannakis and Christos Kaklamanis and D{\'{a}}niel Marx and Donald Sannella",
pages = "3:1--3:1",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.ICALP.2018.3",
volume = "107",
doi = "10.4230/LIPIcs.ICALP.2018.3",
}
@proceedings{DBLP:conf/mfps/2018,
title = "Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018",
year = "2018",
editor = "Sam Staton",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/341/suppl/C",
volume = "341",
}
@article{DBLP:journals/corr/abs-1711-05159,
title = "Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory",
author = "Mathys Rennela and Sam Staton",
year = "2017",
journal = "CoRR",
url = "http://arxiv.org/abs/1711.05159",
volume = "abs/1711.05159",
}
@article{DBLP:journals/corr/abs-1711-03219,
title = "Denotational validation of higher-order Bayesian inference",
author = "Adam {\'{S}}cibior and Ohad Kammar and Matthijs V{\'{a}}k{\'{a}}r and Sam Staton and Hongseok Yang and Yufei Cai and Klaus Ostermann and Sean K. Moss and Chris Heunen and Zoubin Ghahramani",
year = "2017",
journal = "CoRR",
url = "http://arxiv.org/abs/1711.03219",
volume = "abs/1711.03219",
}
@article{DBLP:journals/corr/KammarLMS17,
title = "A monad for full ground reference cells",
author = "Ohad Kammar and Paul Blain Levy and Sean K. Moss and Sam Staton",
year = "2017",
journal = "CoRR",
url = "http://arxiv.org/abs/1702.04908",
volume = "abs/1702.04908",
}
@article{DBLP:journals/corr/HeunenKSY17,
title = "A Convenient Category for Higher-Order Probability Theory",
author = "Chris Heunen and Ohad Kammar and Sam Staton and Hongseok Yang",
year = "2017",
journal = "CoRR",
url = "http://arxiv.org/abs/1701.02547",
volume = "abs/1701.02547",
}
@article{DBLP:journals/jfp/PirogS17,
title = "Backtracking with cut via a distributive law and left-zero monoids",
author = "Maciej Pir{\'{o}}g and Sam Staton",
year = "2017",
journal = "J. Funct. Program.",
pages = "e17",
url = "https://doi.org/10.1017/S0956796817000077",
volume = "27",
doi = "10.1017/S0956796817000077",
}
@inproceedings{DBLP:conf/lics/KammarLMS17,
title = "A monad for full ground reference cells",
author = "Ohad Kammar and Paul Blain Levy and Sean K. Moss and Sam Staton",
year = "2017",
booktitle = "32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017",
pages = "1--12",
publisher = "{IEEE} Computer Society",
url = "https://doi.org/10.1109/LICS.2017.8005109",
doi = "10.1109/LICS.2017.8005109",
}
@inproceedings{DBLP:conf/lics/HeunenKSY17,
title = "A convenient category for higher-order probability theory",
author = "Chris Heunen and Ohad Kammar and Sam Staton and Hongseok Yang",
year = "2017",
booktitle = "32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017",
pages = "1--12",
publisher = "{IEEE} Computer Society",
url = "https://doi.org/10.1109/LICS.2017.8005137",
doi = "10.1109/LICS.2017.8005137",
}
@inproceedings{DBLP:conf/esop/Staton17,
title = "Commutative Semantics for Probabilistic Programming",
author = "Sam Staton",
year = "2017",
booktitle = "Programming Languages and Systems - 26th European Symposium on Programming, {ESOP} 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings",
editor = "Hongseok Yang",
pages = "855--879",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-662-54434-1\_32",
volume = "10201",
doi = "10.1007/978-3-662-54434-1\_32",
}
@article{DBLP:journals/corr/StatonYHKW16,
title = "Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints",
author = "Sam Staton and Hongseok Yang and Chris Heunen and Ohad Kammar and Frank D. Wood",
year = "2016",
journal = "CoRR",
url = "http://arxiv.org/abs/1601.04943",
volume = "abs/1601.04943",
}
@inproceedings{DBLP:journals/corr/RennelaSF17,
title = "Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras",
author = "Mathys Rennela and Sam Staton and Robert Furber",
year = "2016",
booktitle = "Proceedings 13th International Conference on Quantum Physics and Logic, {QPL} 2016, Glasgow, Scotland, 6-10 June 2016",
editor = "Ross Duncan and Chris Heunen",
pages = "161--173",
series = "{EPTCS}",
url = "https://doi.org/10.4204/EPTCS.236.11",
volume = "236",
doi = "10.4204/EPTCS.236.11",
}
@inproceedings{DBLP:conf/lics/StatonYWHK16,
title = "Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints",
author = "Sam Staton and Hongseok Yang and Frank D. Wood and Chris Heunen and Ohad Kammar",
year = "2016",
booktitle = "Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} '16, New York, NY, USA, July 5-8, 2016",
editor = "Martin Grohe and Eric Koskinen and Natarajan Shankar",
pages = "525--534",
publisher = "{ACM}",
url = "https://doi.org/10.1145/2933575.2935313",
doi = "10.1145/2933575.2935313",
}
@inproceedings{DBLP:journals/entcs/RennelaS15,
title = "Complete Positivity and Natural Representation of Quantum Computations",
author = "Mathys Rennela and Sam Staton",
year = "2015",
booktitle = "The 31st Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2015, Nijmegen, The Netherlands, June 22-25, 2015",
editor = "Dan R. Ghica",
pages = "369--385",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://doi.org/10.1016/j.entcs.2015.12.022",
volume = "319",
doi = "10.1016/j.entcs.2015.12.022",
}
@inproceedings{DBLP:conf/tlca/AtkeyGFRS15,
title = "Models for Polymorphism over Physical Dimension",
author = "Robert Atkey and Neil Ghani and Fredrik Nordvall Forsberg and Timothy Revell and Sam Staton",
year = "2015",
booktitle = "13th International Conference on Typed Lambda Calculi and Applications, {TLCA} 2015, July 1-3, 2015, Warsaw, Poland",
editor = "Thorsten Altenkirch",
pages = "45--59",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik",
series = "LIPIcs",
url = "https://doi.org/10.4230/LIPIcs.TLCA.2015.45",
volume = "38",
doi = "10.4230/LIPIcs.TLCA.2015.45",
}
@inproceedings{DBLP:conf/popl/Staton15,
title = "Algebraic Effects, Linearity, and Quantum Programming Languages",
author = "Sam Staton",
year = "2015",
booktitle = "Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2015, Mumbai, India, January 15-17, 2015",
editor = "Sriram K. Rajamani and David Walker",
pages = "395--406",
publisher = "{ACM}",
url = "https://doi.org/10.1145/2676726.2676999",
doi = "10.1145/2676726.2676999",
}
@inproceedings{DBLP:conf/icalp/StatonU15,
title = "Effect Algebras, Presheaves, Non-locality and Contextuality",
author = "Sam Staton and Sander Uijlen",
year = "2015",
booktitle = "Automata, Languages, and Programming - 42nd International Colloquium, {ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}",
editor = "Magn{\'{u}}s M. Halld{\'{o}}rsson and Kazuo Iwama and Naoki Kobayashi and Bettina Speckmann",
pages = "401--413",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-662-47666-6\_32",
volume = "9135",
doi = "10.1007/978-3-662-47666-6\_32",
}
@article{DBLP:journals/entcs/Staton14,
title = "Freyd categories are Enriched Lawvere Theories",
author = "Sam Staton",
year = "2014",
journal = "Electron. Notes Theor. Comput. Sci.",
pages = "197--206",
url = "https://doi.org/10.1016/j.entcs.2014.02.010",
volume = "303",
doi = "10.1016/j.entcs.2014.02.010",
}
@article{DBLP:journals/corr/MogelbergS14,
title = "Linear usage of state",
author = "Rasmus Ejlers M{\o}gelberg and Sam Staton",
year = "2014",
journal = "Log. Methods Comput. Sci.",
number = "1",
url = "https://doi.org/10.2168/LMCS-10(1:17)2014",
volume = "10",
doi = "10.2168/LMCS-10(1:17)2014",
}
@inproceedings{DBLP:journals/entcs/Jacobs0S14,
title = "Preface",
author = "Bart Jacobs and Alexandra Silva and Sam Staton",
year = "2014",
booktitle = "Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15, 2014",
editor = "Bart Jacobs and Alexandra Silva and Sam Staton",
pages = "1--2",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://doi.org/10.1016/j.entcs.2014.10.001",
volume = "308",
doi = "10.1016/j.entcs.2014.10.001",
}
@inproceedings{DBLP:conf/csl/LevyS14,
title = "Transition systems over games",
author = "Paul Blain Levy and Sam Staton",
year = "2014",
booktitle = "Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014",
editor = "Thomas A. Henzinger and Dale Miller",
pages = "64:1--64:10",
publisher = "{ACM}",
url = "https://doi.org/10.1145/2603088.2603150",
doi = "10.1145/2603088.2603150",
}
@inproceedings{DBLP:conf/csl/FioreS14,
title = "Substitution, jumps, and algebraic effects",
author = "Marcelo P. Fiore and Sam Staton",
year = "2014",
booktitle = "Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014",
editor = "Thomas A. Henzinger and Dale Miller",
pages = "41:1--41:10",
publisher = "{ACM}",
url = "https://doi.org/10.1145/2603088.2603163",
doi = "10.1145/2603088.2603163",
}
@proceedings{DBLP:conf/mfps/2014,
title = "Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15, 2014",
year = "2014",
editor = "Bart Jacobs and Alexandra Silva and Sam Staton",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/308/suppl/C",
volume = "308",
}
@inproceedings{DBLP:journals/entcs/AhmanS13,
title = "Normalization by Evaluation and Algebraic Effects",
author = "Danel Ahman and Sam Staton",
year = "2013",
booktitle = "Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June 23-25, 2013",
editor = "Dexter Kozen and Michael W. Mislove",
pages = "51--69",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://doi.org/10.1016/j.entcs.2013.09.007",
volume = "298",
doi = "10.1016/j.entcs.2013.09.007",
}
@inproceedings{DBLP:conf/popl/StatonL13,
title = "Universal properties of impure programming languages",
author = "Sam Staton and Paul Blain Levy",
year = "2013",
booktitle = "The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013",
editor = "Roberto Giacobazzi and Radhia Cousot",
pages = "179--192",
publisher = "{ACM}",
url = "https://doi.org/10.1145/2429069.2429091",
doi = "10.1145/2429069.2429091",
}
@inproceedings{DBLP:conf/lics/Staton13,
title = "Instances of Computational Effects: An Algebraic Perspective",
author = "Sam Staton",
year = "2013",
booktitle = "28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2013, New Orleans, LA, USA, June 25-28, 2013",
pages = "519",
publisher = "{IEEE} Computer Society",
url = "https://doi.org/10.1109/LICS.2013.58",
doi = "10.1109/LICS.2013.58",
}
@inproceedings{DBLP:conf/fossacs/Staton13,
title = "An Algebraic Presentation of Predicate Logic - (Extended Abstract)",
author = "Sam Staton",
year = "2013",
booktitle = "Foundations of Software Science and Computation Structures - 16th International Conference, {FOSSACS} 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24, 2013. Proceedings",
editor = "Frank Pfenning",
pages = "401--417",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-37075-5\_26",
volume = "7794",
doi = "10.1007/978-3-642-37075-5\_26",
}
@inproceedings{DBLP:conf/tpcg/StatonDBC12,
title = "Light Clustering for Dynamic Image Based Lighting",
author = "Sam Staton and Kurt Debattista and Thomas Bashford{-}Rogers and Alan Chalmers",
year = "2012",
booktitle = "Theory and Practice of Computer Graphics, Rutherford, United Kingdom, 2012. Proceedings",
editor = "Hamish A. Carr and Silvester Czanner",
pages = "17--24",
publisher = "Eurographics Association",
url = "https://doi.org/10.2312/LocalChapterEvents/TPCG/TPCG12/017-024",
doi = "10.2312/LocalChapterEvents/TPCG/TPCG12/017-024",
}
@article{DBLP:journals/corr/abs-1101-4223,
title = "Relating coalgebraic notions of bisimulation",
author = "Sam Staton",
year = "2011",
journal = "Log. Methods Comput. Sci.",
number = "1",
url = "https://doi.org/10.2168/LMCS-7(1:13)2011",
volume = "7",
doi = "10.2168/LMCS-7(1:13)2011",
}
@inproceedings{DBLP:conf/calco/MogelbergS11,
title = "Linearly-Used State in Models of Call-by-Value",
author = "Rasmus Ejlers M{\o}gelberg and Sam Staton",
year = "2011",
booktitle = "Algebra and Coalgebra in Computer Science - 4th International Conference, {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings",
editor = "Andrea Corradini and Bartek Klin and Corina C{\^{\i}}rstea",
pages = "298--313",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-22944-2\_21",
volume = "6859",
doi = "10.1007/978-3-642-22944-2\_21",
}
@inproceedings{DBLP:conf/lics/StatonW10,
title = "On the Expressivity of Symmetry in Event Structures",
author = "Sam Staton and Glynn Winskel",
year = "2010",
booktitle = "Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom",
pages = "392--401",
publisher = "{IEEE} Computer Society",
url = "https://doi.org/10.1109/LICS.2010.37",
doi = "10.1109/LICS.2010.37",
}
@inproceedings{DBLP:conf/fossacs/Staton10,
title = "Completeness for Algebraic Theories of Local State",
author = "Sam Staton",
year = "2010",
booktitle = "Foundations of Software Science and Computational Structures, 13th International Conference, {FOSSACS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings",
editor = "C.{-}H. Luke Ong",
pages = "48--63",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-12032-9\_5",
volume = "6014",
doi = "10.1007/978-3-642-12032-9\_5",
}
@inproceedings{DBLP:conf/cie/AltenkirchLS10,
title = "Higher-Order Containers",
author = "Thorsten Altenkirch and Paul Blain Levy and Sam Staton",
year = "2010",
booktitle = "Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings",
editor = "Fernando Ferreira and Benedikt L{\"{o}}we and Elvira Mayordomo and Lu{\'{\i}}s Mendes Gomes",
pages = "11--20",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-13962-8\_2",
volume = "6158",
doi = "10.1007/978-3-642-13962-8\_2",
}
@article{DBLP:journals/iandc/FioreS09,
title = "A congruence rule format for name-passing process calculi",
author = "Marcelo P. Fiore and Sam Staton",
year = "2009",
journal = "Inf. Comput.",
number = "2",
pages = "209--236",
url = "https://doi.org/10.1016/j.ic.2007.12.005",
volume = "207",
doi = "10.1016/j.ic.2007.12.005",
}
@inproceedings{DBLP:journals/entcs/Staton09,
title = "Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names",
author = "Sam Staton",
year = "2009",
booktitle = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009",
editor = "Samson Abramsky and Michael W. Mislove and Catuscia Palamidessi",
pages = "471--490",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://doi.org/10.1016/j.entcs.2009.07.103",
volume = "249",
doi = "10.1016/j.entcs.2009.07.103",
}
@inproceedings{DBLP:conf/calco/Staton09,
title = "Relating Coalgebraic Notions of Bisimulation",
author = "Sam Staton",
year = "2009",
booktitle = "Algebra and Coalgebra in Computer Science, Third International Conference, {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings",
editor = "Alexander Kurz and Marina Lenisa and Andrzej Tarlecki",
pages = "191--205",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "https://doi.org/10.1007/978-3-642-03741-2\_14",
volume = "5728",
doi = "10.1007/978-3-642-03741-2\_14",
}
@inproceedings{DBLP:conf/lics/Staton08,
title = "General Structural Operational Semantics through Categorical Logic",
author = "Sam Staton",
year = "2008",
booktitle = "Proceedings of the Twenty-Third Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2008, 24-27 June 2008, Pittsburgh, PA, {USA}",
pages = "166--177",
publisher = "{IEEE} Computer Society",
url = "https://doi.org/10.1109/LICS.2008.43",
doi = "10.1109/LICS.2008.43",
}
@article{DBLP:journals/iandc/FioreS06,
title = "Comparing operational models of name-passing process calculi",
author = "Marcelo P. Fiore and Sam Staton",
year = "2006",
journal = "Inf. Comput.",
number = "4",
pages = "524--560",
url = "https://doi.org/10.1016/j.ic.2005.08.004",
volume = "204",
doi = "10.1016/j.ic.2005.08.004",
}
@inproceedings{DBLP:conf/lics/FioreS06,
title = "A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics",
author = "Marcelo P. Fiore and Sam Staton",
year = "2006",
booktitle = "21th {IEEE} Symposium on Logic in Computer Science {(LICS} 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings",
pages = "49--58",
publisher = "{IEEE} Computer Society",
url = "https://doi.org/10.1109/LICS.2006.7",
doi = "10.1109/LICS.2006.7",
}
@inproceedings{DBLP:journals/entcs/FioreS04,
title = "Comparing Operational Models of Name-Passing Process Calculi",
author = "Marcelo P. Fiore and Sam Staton",
year = "2004",
booktitle = "Proceedings of the Workshop on Coalgebraic Methods in Computer Science, {CMCS} 2004, Barcelona, Spain, March 27-29, 2004",
editor = "Jir{\'{\i}} Ad{\'{a}}mek and Stefan Milius",
pages = "91--104",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
url = "https://doi.org/10.1016/j.entcs.2004.02.025",
volume = "106",
doi = "10.1016/j.entcs.2004.02.025",
}