Stephen Dolan

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Brief Announcement: The Only Undoable CRDTs are Counters
Proceedings of the 39th Symposium on Principles of Distributed Computing
2021-03-15Paper
Polymorphism, subtyping, and type inference in MLsub
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
2017-10-20Paper
Fun with semirings
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
2015-03-30Paper


Research outcomes over time


This page was built for person: Stephen Dolan