Dr Sean Moss

School of Computer Science
Assistant Professor

Contact details

School of Computer Science
University of Birmingham
B15 2TT


Recent publications

Conference article

Ackerman, N, Freer, C, Kaddar, Y, Karwowski, J, Moss, S, Roy, D, Staton, S & Yang, H 2024, 'Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets', Proceedings of the ACM on Programming Languages, vol. 8, no. POPL, 61, pp. 1819–1849. https://doi.org/10.1145/3632903

Conference contribution

Lindley, S, Matache, C, Moss, S, Staton, S, Wu, N & Yang, Z 2024, Scoped Effects as Parameterized Algebraic Theories. in S Weirich (ed.), Programming Languages and Systems: 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 1 edn, Lecture Notes in Computer Science, vol. 14576, Springer, pp. 3-21, ESOP 2024, Luxembourg City, Luxembourg, 8/04/24. https://doi.org/10.1007/978-3-031-57262-3_1

Kammar, O, Levy, PB, Moss, SK & Staton, S 2017, A monad for full ground reference cells. in Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2017). IEEE Computer Society Press, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland, 20/06/17. https://doi.org/10.1109/LICS.2017.8005109

View all publications in research portal