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

Dialectica models of type theory. - Sean K. Moss; Tamara von Glehn (LICS, 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)

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

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

Probability monads with submonads of deterministic states. - Sean K. Moss; Paolo Perrone (LICS, 2022)

Probability monads with submonads of deterministic states - Extended version. - Sean K. Moss; Paolo Perrone (CoRR, 2022)

A category-theoretic proof of the ergodic decomposition theorem. - Sean K. Moss; Paolo Perrone (CoRR, 2022)

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

Scoped Effects as Parameterized Algebraic Theories. - Sam Lindley; Cristina Matache; Sean K. Moss; Sam Staton; Nicolas Wu; Zhixuan Yang (ESOP (1), 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)

Stronger Language Models Produce More Human-Like Errors. - Andrew Keenan Richardson; Ryan Othniel Kearns; Sean K. Moss; Vincent Wang-Mascianica; Philipp E. Koralus (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)