Sean K. Moss
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ESOP | Scoped Effects as Parameterized Algebraic Theories. | Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang |
| 2022 | LICS | Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. | Cristina Matache, Sean K. Moss, Sam Staton |
| 2022 | LICS | Probability monads with submonads of deterministic states. | Sean K. Moss, Paolo Perrone |
| 2021 | FSCD | Recursion and Sequentiality in Categories of Sheaves. | Cristina Matache, Sean K. Moss, Sam Staton |
| 2018 | LICS | Dialectica models of type theory. | Sean K. Moss, Tamara von Glehn |
| 2017 | LICS | A monad for full ground reference cells. | Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton |