Sean K. Moss

20 papers A* 4B 1Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories.
ACM Trans. Program. Lang. Syst.
Cristina Matache, Sam Lindley, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2025 J jnl
Stronger Language Models Produce More Human-Like Errors.
CoRR
Andrew Keenan Richardson, Ryan Othniel Kearns, Sean K. Moss, Vincent Wang-Mascianica, Philipp E. Koralus
2024 J jnl
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets.
Proc. ACM Program. Lang.
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
2024 — conf
Scoped Effects as Parameterized Algebraic Theories.
ESOP (1)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2024 J jnl
Scoped Effects as Parameterized Algebraic Theories.
CoRR
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
2023 J jnl
Denotational semantics for languages for inference: semirings, monads, and tensors.
CoRR
Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo
2023 J jnl
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets.
CoRR
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
2022 J jnl
A category-theoretic proof of the ergodic decomposition theorem.
CoRR
Sean K. Moss, Paolo Perrone
2022 J jnl
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction).
CoRR
Cristina Matache, Sean K. Moss, Sam Staton
2022 A* conf
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction.
LICS
Cristina Matache, Sean K. Moss, Sam Staton
2022 J jnl
Probability monads with submonads of deterministic states - Extended version.
CoRR
Sean K. Moss, Paolo Perrone
2022 A* conf
Probability monads with submonads of deterministic states.
LICS
Sean K. Moss, Paolo Perrone
2021 J jnl
Dialectica models of type theory.
CoRR
Sean K. Moss, Tamara von Glehn
2021 B conf
Recursion and Sequentiality in Categories of Sheaves.
FSCD
Cristina Matache, Sean K. Moss, Sam Staton
2021 J jnl
Recursion and Sequentiality in Categories of Sheaves.
CoRR
Cristina Matache, Sean K. Moss, Sam Staton
2018 J jnl
Denotational validation of higher-order Bayesian inference.
Proc. ACM Program. Lang.
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2018 A* conf
Dialectica models of type theory.
LICS
Sean K. Moss, Tamara von Glehn
2017 A* conf
A monad for full ground reference cells.
LICS
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
2017 J jnl
A monad for full ground reference cells.
CoRR
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
2017 J jnl
Denotational validation of higher-order Bayesian inference.
CoRR
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani