Dominic Orchard

发表

Dominic A. Orchard, Nobuko Yoshida, Dominic Orchard, 2017 .

Dominic Orchard, Harley Eades, Benjamin Moon, 2020, ArXiv.

Dominic A. Orchard, Dominic Orchard, Harley Eades, 2020, ArXiv.

Andrew Rice, Matthew Danish, Dominic Orchard, 2017 .

Meng Wang, Dominic A. Orchard, Li-yao Xia, 2019, ESOP.

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..

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 .