Dominic Orchard
发表
Nobuko Yoshida,
Dominic A. Orchard,
Dominic Orchard,
2016,
PLACES.
Dominic A. Orchard,
Nobuko Yoshida,
Dominic Orchard,
2017
.
Sara Kalvala,
Dominic Orchard,
Jonathan Gover,
2009
.
Dominic Orchard,
Harley Eades,
Benjamin Moon,
2020,
ArXiv.
Dominic A. Orchard,
Dominic Orchard,
Harley Eades,
2020,
ArXiv.
Andrew Rice,
Matthew Danish,
Dominic Orchard,
2016
.
Andrew Rice,
Matthew Danish,
Dominic Orchard,
2017
.
Meng Wang,
Dominic A. Orchard,
Li-yao Xia,
2019,
ESOP.
Francisco Martins,
Dominic Orchard,
2019,
PLACES@ETAPS.
Nobuko Yoshida,
Dominic A. Orchard,
Dominic Orchard,
2016
.
Andrew Rice,
Matthew Danish,
Dominic Orchard,
2016
.
Andrew Rice,
Matthew Danish,
Dominic Orchard,
2017
.
Dominic A. Orchard,
Shin-ya Katsumata,
Marco Gaboardi,
2020,
ESOP.
Andrew Rice,
Matthew Danish,
Dominic Orchard,
2015
.
Meng Wang,
Li-yao Xia,
Dominic Orchard,
2019,
ArXiv.
Tom Schrijvers,
Dominic A. Orchard,
Dominic Orchard,
2010,
FLOPS.
Alan Mycroft,
Andrej Ivaskovic,
Dominic Orchard,
2020,
FSCD.
Philip Wadler,
Dominic Orchard,
Harley Eades,
2020,
MSFP@ETAPS.
Dominic A. Orchard,
Dominic Orchard,
Harley Eades,
2019,
Proc. ACM Program. Lang..
Dominic Orchard,
N Yoshida,
2016
.
Andrew Rice,
Matthew Danish,
Dominic Orchard,
2016
.
Francisco Martins,
Dominic Orchard,
2019
.
Andrew Rice,
Dominic Orchard,
Matthew Danish,
2020,
ArXiv.
Marc Brockschmidt,
Andrew C. Rice,
Miltiadis Allamanis,
2019,
2019 IEEE/ACM 14th International Workshop on Software Engineering for Science (SE4Science).
Tom Schrijvers,
Dominic Orchard,
2010
.
Dominic A. Orchard,
Dominic Orchard,
Jack Hughes,
2021,
Linearity&TLLA@IJCAR-FSCD.
Dominic A. Orchard,
Dominic Orchard,
Harley Eades,
2020,
ESOP.
Nobuko Yoshida,
Dominic Orchard,
2017
.
Marco Gaboardi,
Tarmo Uustalu,
Flavien Breuvart,
2016
.
Alan Mycroft,
Dominic A. Orchard,
Dominic Orchard,
2012
.