Dominic P. Mulligan
According to our database^{1},
Dominic P. Mulligan
authored at least 21 papers
between 2008 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2019
Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019
2018
CoRR, 2018
Arch. Formal Proofs, 2018
2017
Proc. ACM Program. Lang., 2017
Arch. Formal Proofs, 2017
A framework for establishing Strong Eventual Consistency for Conflictfree Replicated Datatypes.
Arch. Formal Proofs, 2017
Proceedings of the Programming Languages and Systems  15th Asian Symposium, 2017
2016
Proceedings of the 2016 ACM SIGPLAN International Conference on ObjectOriented Programming, 2016
2015
An integrated concurrency and coreISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.
Proceedings of the 48th International Symposium on Microarchitecture, 2015
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014
2013
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013
2012
Corrigendum to "CurryHoward for incomplete firstorder logic derivations using oneandahalf level terms" [Inf.Comput.208(3)(2010) 230258].
Inf. Comput., 2012
On the Correctness of an Optimising Assembler for the Intel MCS51 Microprocessor.
Proceedings of the Certified Programs and Proofs  Second International Conference, 2012
2011
PhD thesis, 2011
Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011
Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2011
2010
Permissive nominal terms and their unification: an infinite, coinfinite approach to nominal techniques.
Log. J. IGPL, 2010
CurryHoward for incomplete firstorder logic derivations using oneandahalf level terms.
Inf. Comput., 2010
2009
Electron. Notes Theor. Comput. Sci., 2009
Universal algebra over lambdaterms and nominal terms: the connection in logic between nominal techniques and higherorder variables.
Proceedings of the Fourth International Workshop on Logical Frameworks and MetaLanguages: Theory and Practice, 2009
2008
Proceedings of the Logic, 2008