1. Mixt: a language for mixing consistency in geodistributed transactions;M Milano;Proceedings of the 39th ACM SIG-PLAN Conference on Programming Language Design and Implementation, PLDI 2018,2018
2. Types for atomicity;C Flanagan;Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, TLDI '03,2003
3. A type and effect system for atomicity;C Flanagan;Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, PLDI '03,2003