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