Dominic P. Mulligan
According to our database1, Dominic P. Mulligan authored at least 21 papers between 2008 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019
Arch. Formal Proofs, 2018
Proc. ACM Program. Lang., 2017
A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes.
Arch. Formal Proofs, 2017
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.
Proceedings of the 48th International Symposium on Microarchitecture, 2015
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013
Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258].
Inf. Comput., 2012
Proceedings of the Certified Programs and Proofs - Second International Conference, 2012
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011
Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.
Log. J. IGPL, 2010
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms.
Inf. Comput., 2010
Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables.
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009
Proceedings of the Logic, 2008