Sam Staton
Orcid: 0000-0002-0141-8922
According to our database1,
Sam Staton
authored at least 62 papers
between 2004 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Compositional Imprecise Probability: A Solution from Graded Monads and Markov Categories.
Proc. ACM Program. Lang., 2025
2024
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets.
Proc. ACM Program. Lang., January, 2024
Proceedings of the Programming Languages and Systems, 2024
2023
Proc. ACM Program. Lang., January, 2023
Proc. ACM Program. Lang., January, 2023
CoRR, 2023
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories.
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
Log. Methods Comput. Sci., 2022
Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras.
Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction.
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
2021
Proc. ACM Program. Lang., 2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021
2020
Log. Methods Comput. Sci., 2020
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the Coalgebraic Methods in Computer Science, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the Foundations of Software Science and Computation Structures, 2019
2018
Proc. ACM Program. Lang., 2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018
Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018
2017
J. Funct. Program., 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the Programming Languages and Systems, 2017
2016
Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras.
Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
2014
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014
Proceedings of the 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), 2014
Proceedings of the 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), 2014
2013
Proceedings of the Workshop on Algebra, Coalgebra and Topology, 2013
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the Foundations of Software Science and Computation Structures, 2013
2012
Proceedings of the Theory and Practice of Computer Graphics, 2012
2011
Proceedings of the Algebra and Coalgebra in Computer Science, 2011
2010
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Foundations of Software Science and Computational Structures, 2010
Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010
2009
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names.
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009
2008
Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, 2008
2007
Name-passing process calculi : operational models and structural operational semantics.
PhD thesis, 2007
2006
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.
Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006
2004
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004