Sean K. Moss

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 18

Top Topics

Denotational Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. CoRR (2024)
Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang
Scoped Effects as Parameterized Algebraic Theories. ESOP (1) (2024)
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets. Proc. ACM Program. Lang. 8 (POPL) (2024)
Nathanael L. Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean K. Moss, Daniel M. Roy, Sam Staton, Hongseok Yang
Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets. CoRR (2023)
Cristina Matache, Sean K. Moss, Sam Staton, Ariadne Si Suo
Denotational semantics for languages for inference: semirings, monads, and tensors. CoRR (2023)
Cristina Matache, Sean K. Moss, Sam Staton
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. LICS (2022)
Sean K. Moss, Paolo Perrone
A category-theoretic proof of the ergodic decomposition theorem. CoRR (2022)
Sean K. Moss, Paolo Perrone
Probability monads with submonads of deterministic states - Extended version. CoRR (2022)
Sean K. Moss, Paolo Perrone
Probability monads with submonads of deterministic states. LICS (2022)
Cristina Matache, Sean K. Moss, Sam Staton
Concrete categories and higher-order recursion (With applications including probability, differentiability, and full abstraction). CoRR (2022)
Cristina Matache, Sean K. Moss, Sam Staton
Recursion and Sequentiality in Categories of Sheaves. FSCD (2021)
Cristina Matache, Sean K. Moss, Sam Staton
Recursion and Sequentiality in Categories of Sheaves. CoRR (2021)
Sean K. Moss, Tamara von Glehn
Dialectica models of type theory. CoRR (2021)
Sean K. Moss, Tamara von Glehn
Dialectica models of type theory. LICS (2018)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. 2 (POPL) (2018)
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
A monad for full ground reference cells. CoRR (2017)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. CoRR (2017)
Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton
A monad for full ground reference cells. LICS (2017)