Sean K. Moss

According to our database, Sean K. Moss authored at least 11 papers between 2017 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

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

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

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

CoRR, 2023

2022

A category-theoretic proof of the ergodic decomposition theorem.

Sean K. Moss, Paolo Perrone

CoRR, 2022

Probability monads with submonads of deterministic states - Extended version.

Sean K. Moss, Paolo Perrone

CoRR, 2022

Probability monads with submonads of deterministic states.

Sean K. Moss, Paolo Perrone

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 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

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

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

Dialectica models of type theory.

Sean K. Moss, Tamara von Glehn

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

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