Research output per year
Research output per year
Search results
-
2025
Scoped Effects, Scoped Operations, and Parameterized Algebraic Theories
Matache, C., Lindley, S., Moss, S., Staton, S., Wu, N. & Yang, Z., 14 Jun 2025, In: ACM Transactions on Programming Languages and Systems. 47, 2, 33 p., 8.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Downloads (Pure) -
2024
Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets
Ackerman, N., Freer, C., Kaddar, Y., Karwowski, J., Moss, S., Roy, D., Staton, S. & Yang, H., 5 Jan 2024, In: Proceedings of the ACM on Programming Languages. 8, POPL, p. 1819–1849 61.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile235 Downloads (Pure) -
Scoped Effects as Parameterized Algebraic Theories
Lindley, S., Matache, C., Moss, S., Staton, S., Wu, N. & Yang, Z., 5 Apr 2024, 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. Weirich, S. (ed.). 1 ed. Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 14576).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile30 Downloads (Pure) -
2017
A monad for full ground reference cells
Kammar, O., Levy, P. B., Moss, S. K. & Staton, S., 18 Aug 2017, Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2017). IEEE Computer Society Press, 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile3 Citations (Scopus)246 Downloads (Pure)