Sam Staton

According to our database, Sam Staton authored at least 61 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets.

Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang

Proc. ACM Program. Lang., January, 2024

Probabilistic Programming with Exact Conditions.

Dario Stein, Sam Staton

J. ACM, 2024

Scoped Effects as Parameterized Algebraic Theories.

Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang

Proceedings of the Programming Languages and Systems, 2024

2023

ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs.

Alexander K. Lew, Mathieu Huot, Sam Staton, Vikash K. Mansinghka

Proc. ACM Program. Lang., January, 2023

Affine Monads and Lazy Structures for Bayesian Programming.

Swaraj Dash, Younesse Kaddar, Hugo Paquet, Sam Staton

Proc. ACM Program. Lang., January, 2023

Denotational semantics for languages for inference: semirings, monads, and tensors.

Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo

CoRR, 2023

Proceedings of the Sixth International Conference on Applied Category Theory 2023.

Sam Staton, Christina Vasilakopoulou

CoRR, 2023

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories.

Younesse Kaddar, Sam Staton

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.

Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton

LICS, 2023

2022

Higher Order Automatic Differentiation of Higher Order Functions.

Mathieu Huot, Sam Staton, Matthijs Vákár

Log. Methods Comput. Sci., 2022

Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras.

Sam Staton, Ned Summers

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.

Cristina Matache, Sean K. Moss, Sam Staton

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

Probabilistic programming semantics for name generation.

Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman

Proc. ACM Program. Lang., 2021

Monads for Measurable Queries in Probabilistic Databases.

Swaraj Dash, Sam Staton

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Compositional Semantics for Probabilistic Programs with Exact Conditioning.

Dario Stein, Sam Staton

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Some Formal Structures in Probability (Invited Talk).

Sam Staton

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Recursion and Sequentiality in Categories of Sheaves.

Cristina Matache, Sean K. Moss, Sam Staton

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory.

Mathys Rennela, Sam Staton

Log. Methods Comput. Sci., 2020

A Monad for Probabilistic Point Processes.

Swaraj Dash, Sam Staton

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing.

Mathieu Huot, Sam Staton, Matthijs Vákár

Proceedings of the Foundations of Software Science and Computation Structures, 2020

De Finetti's Construction as a Categorical Limit.

Bart Jacobs, Sam Staton

Proceedings of the Coalgebraic Methods in Computer Science, 2020

2019

A domain theory for statistical probabilistic programming.

Matthijs Vákár, Ohad Kammar, Sam Staton

Proc. ACM Program. Lang., 2019

Quantum channels as a categorical completion.

Mathieu Huot, Sam Staton

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

A Sound and Complete Logic for Algebraic Effects.

Cristina Matache, Sam Staton

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Denotational validation of higher-order Bayesian inference.

Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani

Proc. ACM Program. Lang., 2018

Effect algebras, presheaves, non-locality and contextuality.

Sam Staton, Sander Uijlen

Inf. Comput., 2018

Preface.

Sam Staton

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Classical Control and Quantum Circuits in Enriched Category Theory.

Mathys Rennela, Sam Staton

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Universal Properties in Quantum Theory.

Mathieu Huot, Sam Staton

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

The Beta-Bernoulli process and algebraic effects.

Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

Probability Theory from a Programming Perspective (Invited Paper).

Sam Staton

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

2017

Backtracking with cut via a distributive law and left-zero monoids.

Maciej Piróg, Sam Staton

J. Funct. Program., 2017

A monad for full ground reference cells.

Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

A convenient category for higher-order probability theory.

Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Commutative Semantics for Probabilistic Programming.

Sam Staton

Proceedings of the Programming Languages and Systems, 2017

2016

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras.

Mathys Rennela, Sam Staton, Robert Furber

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.

Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Complete Positivity and Natural Representation of Quantum Computations.

Mathys Rennela, Sam Staton

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Models for Polymorphism over Physical Dimension.

Robert Atkey, Neil Ghani, Fredrik Nordvall Forsberg, Timothy Revell, Sam Staton

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

Algebraic Effects, Linearity, and Quantum Programming Languages.

Sam Staton

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Preface.

Bart Jacobs, Alexandra Silva, Sam Staton

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Linear usage of state.

Rasmus Ejlers Møgelberg, Sam Staton

Log. Methods Comput. Sci., 2014

Transition systems over games.

Paul Blain Levy, Sam Staton

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

Substitution, jumps, and algebraic effects.

Marcelo P. Fiore, Sam Staton

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

Freyd categories are Enriched Lawvere Theories.

Sam Staton

Proceedings of the Workshop on Algebra, Coalgebra and Topology, 2013

Normalization by Evaluation and Algebraic Effects.

Danel Ahman, Sam Staton

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Universal properties of impure programming languages.

Sam Staton, Paul Blain Levy

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Instances of Computational Effects: An Algebraic Perspective.

Sam Staton

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

An Algebraic Presentation of Predicate Logic - (Extended Abstract).

Sam Staton

Proceedings of the Foundations of Software Science and Computation Structures, 2013

2012

Light Clustering for Dynamic Image Based Lighting.

Sam Staton, Kurt Debattista, Thomas Bashford-Rogers, Alan Chalmers

Proceedings of the Theory and Practice of Computer Graphics, 2012

2011

Relating coalgebraic notions of bisimulation

Sam Staton

Log. Methods Comput. Sci., 2011

Linearly-Used State in Models of Call-by-Value.

Rasmus Ejlers Møgelberg, Sam Staton

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

On the Expressivity of Symmetry in Event Structures.

Sam Staton, Glynn Winskel

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Completeness for Algebraic Theories of Local State.

Sam Staton

Proceedings of the Foundations of Software Science and Computational Structures, 2010

Higher-Order Containers.

Thorsten Altenkirch, Paul Blain Levy, Sam Staton

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

A congruence rule format for name-passing process calculi.

Marcelo P. Fiore, Sam Staton

Inf. Comput., 2009

Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names.

Sam Staton

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

2008

General Structural Operational Semantics through Categorical Logic.

Sam Staton

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.

Samuel Staton

PhD thesis, 2007

2006

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics.

Marcelo P. Fiore, Sam Staton

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2004

Comparing Operational Models of Name-Passing Process Calculi.

Marcelo P. Fiore, Sam Staton

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004