Comparing Operational Models of Name-Passing Process Calculi. - Marcelo P. Fiore; Sam Staton (CMCS, 2004)

A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics. - Marcelo P. Fiore; Sam Staton (LICS, 2006)

Name-passing process calculi : operational models and structural operational semantics. - Samuel Staton (2007)

General Structural Operational Semantics through Categorical Logic. - Sam Staton (LICS, 2008)

Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. - Sam Staton (MFPS, 2009)

A congruence rule format for name-passing process calculi. - Marcelo P. Fiore; Sam Staton (Inf. Comput., 2009)

Higher-Order Containers. - Thorsten Altenkirch; Paul Blain Levy; Sam Staton (CiE, 2010)

Completeness for Algebraic Theories of Local State. - Sam Staton (FoSSaCS, 2010)

On the Expressivity of Symmetry in Event Structures. - Sam Staton; Glynn Winskel (LICS, 2010)

Linearly-Used State in Models of Call-by-Value. - Rasmus Ejlers Møgelberg; Sam Staton (CALCO, 2011)

Relating coalgebraic notions of bisimulation - Sam Staton (Log. Methods Comput. Sci., 2011)

Light Clustering for Dynamic Image Based Lighting. - Sam Staton; Kurt Debattista; Thomas Bashford-Rogers; Alan Chalmers (TPCG, 2012)

An Algebraic Presentation of Predicate Logic - (Extended Abstract). - Sam Staton (FoSSaCS, 2013)

Instances of Computational Effects: An Algebraic Perspective. - Sam Staton (LICS, 2013)

Universal properties of impure programming languages. - Sam Staton; Paul Blain Levy (POPL, 2013)

Normalization by Evaluation and Algebraic Effects. - Danel Ahman; Sam Staton (MFPS, 2013)

Freyd categories are Enriched Lawvere Theories. - Sam Staton (WACT, 2013)

Substitution, jumps, and algebraic effects. - Marcelo P. Fiore; Sam Staton (CSL-LICS, 2014)

Transition systems over games. - Paul Blain Levy; Sam Staton (CSL-LICS, 2014)

Linear usage of state. - Rasmus Ejlers Møgelberg; Sam Staton (Log. Methods Comput. Sci., 2014)

Preface. - Bart Jacobs 001; Alexandra Silva 001; Sam Staton (MFPS, 2014)

Algebraic Effects, Linearity, and Quantum Programming Languages. - Sam Staton (POPL, 2015)

Models for Polymorphism over Physical Dimension. - Robert Atkey; Neil Ghani; Fredrik Nordvall Forsberg; Timothy Revell; Sam Staton (TLCA, 2015)

Complete Positivity and Natural Representation of Quantum Computations. - Mathys Rennela; Sam Staton (MFPS, 2015)

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. - Sam Staton; Hongseok Yang; Frank D. Wood; Chris Heunen; Ohad Kammar (LICS, 2016)

Infinite-Dimensionality in Quantum Foundations: W*-algebras as Presheaves over Matrix Algebras. - Mathys Rennela; Sam Staton; Robert Furber (QPL, 2016)

Commutative Semantics for Probabilistic Programming. - Sam Staton (ESOP, 2017)

A convenient category for higher-order probability theory. - Chris Heunen; Ohad Kammar; Sam Staton; Hongseok Yang (LICS, 2017)

A monad for full ground reference cells. - Ohad Kammar; Paul Blain Levy; Sean K. Moss; Sam Staton (LICS, 2017)

Backtracking with cut via a distributive law and left-zero monoids. - Maciej Piróg; Sam Staton (J. Funct. Program., 2017)

Probability Theory from a Programming Perspective (Invited Paper). - Sam Staton (ICALP, 2018)

The Beta-Bernoulli process and algebraic effects. - Sam Staton; Dario Stein; Hongseok Yang; Nathanael L. Ackerman; Cameron E. Freer; Daniel M. Roy 001 (ICALP, 2018)

Universal Properties in Quantum Theory. - Mathieu Huot; Sam Staton (QPL, 2018)

Classical Control and Quantum Circuits in Enriched Category Theory. - Mathys Rennela; Sam Staton (MFPS, 2018)

Preface. - Sam Staton (MFPS, 2018)

Effect algebras, presheaves, non-locality and contextuality. - Sam Staton; Sander Uijlen (Inf. Comput., 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)

A Sound and Complete Logic for Algebraic Effects. - Cristina Matache; Sam Staton (FoSSaCS, 2019)

Quantum channels as a categorical completion. - Mathieu Huot; Sam Staton (LICS, 2019)

A domain theory for statistical probabilistic programming. - Matthijs Vákár; Ohad Kammar; Sam Staton (Proc. ACM Program. Lang., 2019)

Probabilistic Programs as Measures. - Sam Staton (Foundations of Probabilistic Programming, 2020)

De Finetti's Construction as a Categorical Limit. - Bart Jacobs 001; Sam Staton (CMCS, 2020)

Correctness of Automatic Differentiation via Diffeologies and Categorical Gluing. - Mathieu Huot; Sam Staton; Matthijs Vákár (FoSSaCS, 2020)

A Monad for Probabilistic Point Processes. - Swaraj Dash; Sam Staton (ACT, 2020)

Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory. - Mathys Rennela; Sam Staton (Log. Methods Comput. Sci., 2020)

Recursion and Sequentiality in Categories of Sheaves. - Cristina Matache; Sean K. Moss; Sam Staton (FSCD, 2021)

Some Formal Structures in Probability (Invited Talk). - Sam Staton (FSCD, 2021)

Compositional Semantics for Probabilistic Programs with Exact Conditioning. - Dario Stein; Sam Staton (LICS, 2021)

Monads for Measurable Queries in Probabilistic Databases. - Swaraj Dash; Sam Staton (MFPS, 2021)

Probabilistic programming semantics for name generation. - Marcin Sabok; Sam Staton; Dario Stein; Michael Wolman (Proc. ACM Program. Lang., 2021)

Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. - Cristina Matache; Sean K. Moss; Sam Staton (LICS, 2022)

Quantum de Finetti Theorems as Categorical Limits, and Limits of State Spaces of C*-algebras. - Sam Staton; Ned Summers (QPL, 2022)

Higher Order Automatic Differentiation of Higher Order Functions. - Mathieu Huot; Sam Staton; Matthijs Vákár (Log. Methods Comput. Sci., 2022)

ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. - Mathieu Huot; Alexander K. Lew; Vikash K. Mansinghka; Sam Staton (LICS, 2023)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. - Younesse Kaddar; Sam Staton (MFPS, 2023)

Denotational semantics for languages for inference: semirings, monads, and tensors. - Cristina Matache; Sean K. Moss; Sam Staton; Ariadne Si Suo (CoRR, 2023)

Affine Monads and Lazy Structures for Bayesian Programming. - Swaraj Dash; Younesse Kaddar; Hugo Paquet; Sam Staton (Proc. ACM Program. Lang., 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., 2023)

Scoped Effects as Parameterized Algebraic Theories. - Sam Lindley; Cristina Matache; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ESOP (1), 2024)

Compositional imprecise probability. - Jack Liell-Cock; Sam Staton (CoRR, 2024)

Probabilistic Programming with Exact Conditions. - Dario Stein; Sam Staton (J. ACM, 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 001; Sam Staton; Hongseok Yang (Proc. ACM Program. Lang., 2024)

Compositional Imprecise Probability: A Solution from Graded Monads and Markov Categories. - Jack Liell-Cock; Sam Staton (Proc. ACM Program. Lang., 2025)

Uncertainty-Aware Step-wise Verification with Generative Reward Models. - Zihuiwen Ye; Luckeciano Carvalho Melo; Younesse Kaddar; Phil Blunsom; Sam Staton; Yarin Gal (CoRR, 2025)

Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories. - Cristina Matache; Sam Lindley; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ACM Trans. Program. Lang. Syst., 2025)

Program Logics via Distributive Monoidal Categories. - Filippo Bonchi; Elena Di Lavore; Mario Román; Sam Staton (CoRR, 2025)