Sean Moss – Research output — University of Birmingham

View Scopus Profile

Research activity per year

2 Conference contribution
1 Conference article

2 results

Filter

2024

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 Access
File

20 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 Access
File
3 Citations (Scopus)

216 Downloads (Pure)