( en | de | ru )

 

Disambiguation of "Mulligan, Dominic P."

Author of the publication

copydeleteadd this publication to your clipboard
Lem: reusable engineering of real-world semantics.

, , , , and . ICFP, page 175-188. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dominic Wist

Dominic Schöneich

Dominic Klingen

Dominic Heutelbeck

Dominic Kaegi

 

Other publications of authors with the same name

Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" Inf.Comput.208(3)(2010) 230-258., and . Inf. Comput., (2012)Interleaving anomalies in collaborative text editors., , , and . PaPoC@EuroSys, page 6:1-6:7. ACM, (2019)Confidential Computing - a brave new world., , , , and . SEED, page 132-138. IEEE, (2021)On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor., and . CPP, volume 7679 of Lecture Notes in Computer Science, page 43-59. Springer, (2012)Lem: reusable engineering of real-world semantics., , , , and . ICFP, page 175-188. ACM, (2014)Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations., , , , and . MICRO, page 679-694. ACM, (2021)One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations., and . WoLLIC, volume 5110 of Lecture Notes in Computer Science, page 179-193. Springer, (2008)Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables., and . LFMTP, page 64-73. ACM, (2009)Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms., and . Inf. Comput., 208 (3): 230-258 (2010)A modest proposal: explicit support for foundational pluralism., and . CoRR, (2023)