Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dominic A. Orchard
@inproceedings{DBLP:conf/esop/HughesO24,
author = {Jack Hughes and
Dominic Orchard},
editor = {Stephanie Weirich},
title = {Program Synthesis from Graded Types},
booktitle = {Programming Languages and Systems - 33rd European Symposium on Programming,
{ESOP} 2024, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2024, Luxembourg City, Luxembourg,
April 6-11, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14576},
pages = {83--112},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57262-3\_4},
doi = {10.1007/978-3-031-57262-3\_4},
timestamp = {Sun, 14 Apr 2024 18:32:18 +0200},
biburl = {https://dblp.org/rec/conf/esop/HughesO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-17199,
author = {Victoria Vollmer and
Daniel Marshall and
Harley Eades III and
Dominic Orchard},
title = {A Mixed Linear and Graded Logic: Proofs, Terms, and Models},
journal = {CoRR},
volume = {abs/2401.17199},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.17199},
doi = {10.48550/ARXIV.2401.17199},
eprinttype = {arXiv},
eprint = {2401.17199},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-17199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-04403,
author = {Joseph Bond and
Cristina David and
Minh Nguyen and
Dominic Orchard and
Roly Perera},
title = {Conjugate operators for transparent, explorable research outputs},
journal = {CoRR},
volume = {abs/2403.04403},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.04403},
doi = {10.48550/ARXIV.2403.04403},
eprinttype = {arXiv},
eprint = {2403.04403},
timestamp = {Wed, 03 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-04403.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/programming/BocchiOV23,
author = {Laura Bocchi and
Dominic Orchard and
A. Laura Voinea},
title = {A Theory of Composing Protocols},
journal = {Art Sci. Eng. Program.},
volume = {7},
number = {2},
year = {2023},
url = {https://doi.org/10.22152/programming-journal.org/2023/7/6},
doi = {10.22152/PROGRAMMING-JOURNAL.ORG/2023/7/6},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/programming/BocchiOV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2304-06395,
author = {Dominic Orchard and
Mihail Munteanu and
Paulo Torrens},
editor = {Ilaria Castellani and
Alceste Scalas},
title = {Communicating Actor Automata - Modelling Erlang Processes as Communicating
Machines},
booktitle = {Proceedings 14th Workshop on Programming Language Approaches to Concurrency
and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France,
22 April 2023},
series = {{EPTCS}},
volume = {378},
pages = {38--48},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.378.4},
doi = {10.4204/EPTCS.378.4},
timestamp = {Mon, 05 Feb 2024 20:19:03 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-06395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04324,
author = {Daniel Marshall and
Dominic Orchard},
title = {Graded Modal Types for Integrity and Confidentiality},
journal = {CoRR},
volume = {abs/2309.04324},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04324},
doi = {10.48550/ARXIV.2309.04324},
eprinttype = {arXiv},
eprint = {2309.04324},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-18166,
author = {Daniel Marshall and
Dominic Orchard},
title = {Functional Ownership through Fractional Uniqueness},
journal = {CoRR},
volume = {abs/2310.18166},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.18166},
doi = {10.48550/ARXIV.2310.18166},
eprinttype = {arXiv},
eprint = {2310.18166},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-18166.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/MarshallO22,
author = {Daniel Marshall and
Dominic Orchard},
title = {How to Take the Inverse of a Type (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {8},
number = {2},
pages = {01:1--01:3},
year = {2022},
url = {https://doi.org/10.4230/DARTS.8.2.1},
doi = {10.4230/DARTS.8.2.1},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/MarshallO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/MarshallO22,
author = {Daniel Marshall and
Dominic Orchard},
editor = {Karim Ali and
Jan Vitek},
title = {How to Take the Inverse of a Type},
booktitle = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
June 6-10, 2022, Berlin, Germany},
series = {LIPIcs},
volume = {222},
pages = {5:1--5:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.5},
doi = {10.4230/LIPICS.ECOOP.2022.5},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/MarshallO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MarshallVO22,
author = {Daniel Marshall and
Michael Vollmer and
Dominic Orchard},
editor = {Ilya Sergey},
title = {Linearity and Uniqueness: An Entente Cordiale},
booktitle = {Programming Languages and Systems - 31st European Symposium on Programming,
{ESOP} 2022, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2022, Munich, Germany, April 2-7,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13240},
pages = {346--375},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99336-8\_13},
doi = {10.1007/978-3-030-99336-8\_13},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/MarshallVO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2203-12875,
author = {Daniel Marshall and
Dominic Orchard},
editor = {Marco Carbone and
Rumyana Neykova},
title = {Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session
Types and Graded Modal Types},
booktitle = {Proceedings of the 13th International Workshop on Programming Language
Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS
2022, Munich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {356},
pages = {1--11},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.356.1},
doi = {10.4204/EPTCS.356.1},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-12875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-02461,
author = {Laura Bocchi and
Dominic Orchard and
A. Laura Voinea},
title = {A Theory of Protocol Composition},
journal = {CoRR},
volume = {abs/2203.02461},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.02461},
doi = {10.48550/ARXIV.2203.02461},
eprinttype = {arXiv},
eprint = {2203.02461},
timestamp = {Wed, 15 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-02461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GaboardiKOS21,
author = {Marco Gaboardi and
Shin{-}ya Katsumata and
Dominic Orchard and
Tetsuya Sato},
editor = {Nobuko Yoshida},
title = {Graded Hoare Logic and its Categorical Semantics},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {234--263},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_9},
doi = {10.1007/978-3-030-72019-3\_9},
timestamp = {Mon, 11 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/GaboardiKOS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/MoonEO21,
author = {Benjamin Moon and
Harley Eades III and
Dominic Orchard},
editor = {Nobuko Yoshida},
title = {Graded Modal Dependent Type Theory},
booktitle = {Programming Languages and Systems - 30th European Symposium on Programming,
{ESOP} 2021, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg,
March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12648},
pages = {462--490},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72019-3\_17},
doi = {10.1007/978-3-030-72019-3\_17},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/MoonEO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2021tyde,
editor = {Hsiang{-}Shang Ko and
Dominic Orchard},
title = {TyDe 2021: Proceedings of the 6th {ACM} {SIGPLAN} International Workshop
on Type-Driven Development, Virtual Event, Korea, 22 August 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3471875?af=R},
doi = {10.1145/3471875?AF=R},
isbn = {978-1-4503-8616-6},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/2021tyde.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2021,
editor = {Jos{\'{e}} F. Morales and
Dominic A. Orchard},
title = {Practical Aspects of Declarative Languages - 23rd International Symposium,
{PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12548},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67438-0},
doi = {10.1007/978-3-030-67438-0},
isbn = {978-3-030-67437-3},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/IvaskovicMO20,
author = {Andrej Ivaskovic and
Alan Mycroft and
Dominic Orchard},
editor = {Zena M. Ariola},
title = {Data-Flow Analyses as Effects and Graded Monads},
booktitle = {5th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2020, June 29-July 6, 2020, Paris, France (Virtual
Conference)},
series = {LIPIcs},
volume = {167},
pages = {15:1--15:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2020.15},
doi = {10.4230/LIPICS.FSCD.2020.15},
timestamp = {Tue, 30 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/IvaskovicMO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/HughesO20,
author = {Jack Hughes and
Dominic Orchard},
editor = {Maribel Fern{\'{a}}ndez},
title = {Resourceful Program Synthesis from Graded Linear Types},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {151--170},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_8},
doi = {10.1007/978-3-030-68446-4\_8},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/HughesO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2001-10274,
author = {Dominic Orchard and
Philip Wadler and
Harley Eades III},
editor = {Max S. New and
Sam Lindley},
title = {Unifying graded and parameterised monads},
booktitle = {Proceedings Eighth Workshop on Mathematically Structured Functional
Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020},
series = {{EPTCS}},
volume = {317},
pages = {18--38},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.317.2},
doi = {10.4204/EPTCS.317.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-10274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2112-14966,
author = {Jack Hughes and
Michael Vollmer and
Dominic Orchard},
editor = {Ugo Dal Lago and
Valeria de Paiva},
title = {Deriving Distributive Laws for Graded Linear Types},
booktitle = {Proceedings Second Joint International Workshop on Linearity {\&}
Trends in Linear Logic and Applications, Linearity{\&}TLLA@IJCAR-FSCD
2020, Online, 29-30 June 2020},
series = {{EPTCS}},
volume = {353},
pages = {109--131},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.353.6},
doi = {10.4204/EPTCS.353.6},
timestamp = {Wed, 22 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-14966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-08854,
author = {Harley Eades III and
Dominic Orchard},
title = {Grading Adjoint Logic},
journal = {CoRR},
volume = {abs/2006.08854},
year = {2020},
url = {https://arxiv.org/abs/2006.08854},
eprinttype = {arXiv},
eprint = {2006.08854},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-08854.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-11235,
author = {Marco Gaboardi and
Shin{-}ya Katsumata and
Dominic Orchard and
Tetsuya Sato},
title = {Graded Hoare Logic and its Categorical Semantics},
journal = {CoRR},
volume = {abs/2007.11235},
year = {2020},
url = {https://arxiv.org/abs/2007.11235},
eprinttype = {arXiv},
eprint = {2007.11235},
timestamp = {Mon, 11 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11235.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13163,
author = {Benjamin Moon and
Harley Eades III and
Dominic Orchard},
title = {Graded Modal Dependent Type Theory},
journal = {CoRR},
volume = {abs/2010.13163},
year = {2020},
url = {https://arxiv.org/abs/2010.13163},
eprinttype = {arXiv},
eprint = {2010.13163},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13163.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-06094,
author = {Dominic Orchard and
Mistral Contrastin and
Matthew Danish and
Andrew Rice},
title = {Guiding user annotations for units-of-measure verification},
journal = {CoRR},
volume = {abs/2011.06094},
year = {2020},
url = {https://arxiv.org/abs/2011.06094},
eprinttype = {arXiv},
eprint = {2011.06094},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-06094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/OrchardLE19,
author = {Dominic Orchard and
Vilem{-}Benjamin Liepelt and
Harley Eades III},
title = {Quantitative program reasoning with graded modal types},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{ICFP}},
pages = {110:1--110:30},
year = {2019},
url = {https://doi.org/10.1145/3341714},
doi = {10.1145/3341714},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/OrchardLE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/XiaOW19,
author = {Li{-}yao Xia and
Dominic Orchard and
Meng Wang},
editor = {Lu{\'{\i}}s Caires},
title = {Composing Bidirectional Programs Monadically},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {147--175},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_6},
doi = {10.1007/978-3-030-17184-1\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/XiaOW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DanishABRO19,
author = {Matthew Danish and
Miltiadis Allamanis and
Marc Brockschmidt and
Andrew C. Rice and
Dominic Orchard},
title = {Learning units-of-measure from scientific code},
booktitle = {Proceedings of the 14th International Workshop on Software Engineering
for Science, SE4Science@ICSE 2019, Montreal, QC, Canada, May 28, 2019},
pages = {43--46},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/SE4Science.2019.00013},
doi = {10.1109/SE4SCIENCE.2019.00013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DanishABRO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1904-00396,
editor = {Francisco Martins and
Dominic Orchard},
title = {Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric
Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019},
series = {{EPTCS}},
volume = {291},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.291},
doi = {10.4204/EPTCS.291},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00396.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-06950,
author = {Li{-}yao Xia and
Dominic Orchard and
Meng Wang},
title = {Composing bidirectional programs monadically (with appendices)},
journal = {CoRR},
volume = {abs/1902.06950},
year = {2019},
url = {http://arxiv.org/abs/1902.06950},
eprinttype = {arXiv},
eprint = {1902.06950},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-06950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Orchard18,
author = {Dominic A. Orchard},
title = {Complexity bounds for container functors and comonads},
journal = {Inf. Comput.},
volume = {261},
pages = {144--158},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.05.008},
doi = {10.1016/J.IC.2018.05.008},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Orchard18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ContrastinOR18,
author = {Mistral Contrastin and
Dominic A. Orchard and
Andrew C. Rice},
editor = {David Sabel and
Peter Thiemann},
title = {Automatic Reordering for Dataflow Safety of Datalog},
booktitle = {Proceedings of the 20th International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {9:1--9:17},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236950.3236954},
doi = {10.1145/3236950.3236954},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/ContrastinOR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/OrchardY17,
author = {Dominic A. Orchard and
Nobuko Yoshida},
title = {Guest editors' foreword},
journal = {J. Log. Algebraic Methods Program.},
volume = {90},
pages = {1},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.05.004},
doi = {10.1016/J.JLAMP.2017.05.004},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/OrchardY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/OrchardCDR17,
author = {Dominic A. Orchard and
Mistral Contrastin and
Matthew Danish and
Andrew C. Rice},
title = {Verifying spatial properties of array computations},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {75:1--75:30},
year = {2017},
url = {https://doi.org/10.1145/3133899},
doi = {10.1145/3133899},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/OrchardCDR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cse/ContrastinRDO16,
author = {Mistral Contrastin and
Andrew C. Rice and
Matthew Danish and
Dominic A. Orchard},
title = {Units-of-Measure Correctness in Fortran Programs},
journal = {Comput. Sci. Eng.},
volume = {18},
number = {1},
pages = {102--107},
year = {2016},
url = {https://doi.org/10.1109/MCSE.2016.17},
doi = {10.1109/MCSE.2016.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cse/ContrastinRDO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MycroftOP16,
author = {Alan Mycroft and
Dominic A. Orchard and
Tomas Petricek},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Effect Systems Revisited - Control-Flow Algebra and Semantics},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {1--32},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_1},
doi = {10.1007/978-3-319-27810-0\_1},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MycroftOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/GaboardiKOBU16,
author = {Marco Gaboardi and
Shin{-}ya Katsumata and
Dominic A. Orchard and
Flavien Breuvart and
Tarmo Uustalu},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Combining effects and coeffects via grading},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {476--489},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951939},
doi = {10.1145/2951913.2951939},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/GaboardiKOBU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OrchardY16,
author = {Dominic A. Orchard and
Nobuko Yoshida},
editor = {Rastislav Bod{\'{\i}}k and
Rupak Majumdar},
title = {Effects as sessions, sessions as effects},
booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2016, St. Petersburg,
FL, USA, January 20 - 22, 2016},
pages = {568--581},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2837614.2837634},
doi = {10.1145/2837614.2837634},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/OrchardY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/OrchardY16a,
editor = {Dominic A. Orchard and
Nobuko Yoshida},
title = {Proceedings of the Ninth workshop on Programming Language Approaches
to Concurrency- and Communication-cEntric Software, {PLACES} 2016,
Eindhoven, The Netherlands, 8th April 2016},
series = {{EPTCS}},
volume = {211},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.211},
doi = {10.4204/EPTCS.211},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/OrchardY16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/OrchardRO15,
author = {Dominic A. Orchard and
Andrew C. Rice and
Oleg Oshmyan},
title = {Evolving Fortran types with inferred units-of-measure},
journal = {J. Comput. Sci.},
volume = {9},
pages = {156--162},
year = {2015},
url = {https://doi.org/10.1016/j.jocs.2015.04.018},
doi = {10.1016/J.JOCS.2015.04.018},
timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocs/OrchardRO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/OrchardY16,
author = {Dominic A. Orchard and
Nobuko Yoshida},
editor = {Simon Gay and
Jade Alglave},
title = {Using session types as an effect system},
booktitle = {Proceedings Eighth International Workshop on Programming Language
Approaches to Concurrency- and Communication-cEntric Software, {PLACES}
2015, London, UK, 18th April 2015},
series = {{EPTCS}},
volume = {203},
pages = {1--13},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.203.1},
doi = {10.4204/EPTCS.203.1},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/OrchardY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Orchard14,
author = {Dominic A. Orchard},
title = {Programming contextual computations},
school = {University of Cambridge, {UK}},
year = {2014},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.708000},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Orchard14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Orchard14,
author = {Dominic A. Orchard},
title = {\emph{Computational Semantics with Functional Programming}, byJan
van Eijck andChristina Unger},
journal = {J. Funct. Program.},
volume = {24},
number = {4},
pages = {524--527},
year = {2014},
url = {https://doi.org/10.1017/S0956796814000057},
doi = {10.1017/S0956796814000057},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/Orchard14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/UrmaOM14,
author = {Raoul{-}Gabriel Urma and
Dominic A. Orchard and
Alan Mycroft},
editor = {Raoul{-}Gabriel Urma and
Dominic A. Orchard and
Alan Mycroft},
title = {Programming language evolution workshop report},
booktitle = {Proceedings of the 1st Workshop on Programming Language Evolution,
PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014},
pages = {1--3},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2717124.2717125},
doi = {10.1145/2717124.2717125},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/UrmaOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/OrchardP14,
author = {Dominic A. Orchard and
Tomas Petricek},
editor = {Wouter Swierstra},
title = {Embedding effect systems in Haskell},
booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
pages = {13--24},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633357.2633368},
doi = {10.1145/2633357.2633368},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/OrchardP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/OrchardR14,
author = {Dominic A. Orchard and
Andrew C. Rice},
editor = {David Abramson and
Michael Lees and
Valeria V. Krzhizhanovskaya and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {A Computational Science Agenda for Programming Language Research},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2014, Cairns, Queensland, Australia, 10-12 June, 2014},
series = {Procedia Computer Science},
volume = {29},
pages = {713--727},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.procs.2014.05.064},
doi = {10.1016/J.PROCS.2014.05.064},
timestamp = {Tue, 20 Jun 2023 16:27:45 +0200},
biburl = {https://dblp.org/rec/conf/iccS/OrchardR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AaronOB14,
author = {Samuel Aaron and
Dominic A. Orchard and
Alan F. Blackwell},
editor = {Alex McLean and
Michael Sperber and
Henrik Nilsson},
title = {Temporal semantics for a live coding language},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} international workshop on Functional
art, music, modeling {\&} design, FARM@ICFP 2014, Gothenburg,
Sweden, September 1-3, 2014},
pages = {37--47},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633638.2633648},
doi = {10.1145/2633638.2633648},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AaronOB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PetricekOM14,
author = {Tomas Petricek and
Dominic A. Orchard and
Alan Mycroft},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Coeffects: a calculus of context-dependent computation},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {123--135},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628160},
doi = {10.1145/2628136.2628160},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PetricekOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2014ple,
editor = {Raoul{-}Gabriel Urma and
Dominic A. Orchard and
Alan Mycroft},
title = {Proceedings of the 1st Workshop on Programming Language Evolution,
PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2717124},
isbn = {978-1-4503-2887-6},
timestamp = {Tue, 24 Mar 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2014ple.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OrchardPM14,
author = {Dominic A. Orchard and
Tomas Petricek and
Alan Mycroft},
title = {The semantic marriage of monads and effects},
journal = {CoRR},
volume = {abs/1401.5391},
year = {2014},
url = {http://arxiv.org/abs/1401.5391},
eprinttype = {arXiv},
eprint = {1401.5391},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/OrchardPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PetricekOM13,
author = {Tomas Petricek and
Dominic A. Orchard and
Alan Mycroft},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Coeffects: Unified Static Analysis of Context-Dependence},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {385--397},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_35},
doi = {10.1007/978-3-642-39212-2\_35},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PetricekOM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/PetersenOG13,
author = {Leaf Petersen and
Dominic A. Orchard and
Neal Glew},
editor = {Greg Morrisett and
Tarmo Uustalu},
title = {Automatic {SIMD} vectorization for Haskell},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'13, Boston, MA, {USA} - September 25 - 27, 2013},
pages = {25--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500365.2500605},
doi = {10.1145/2500365.2500605},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/PetersenOG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/OrchardR13,
author = {Dominic A. Orchard and
Andrew C. Rice},
editor = {Emerson R. Murphy{-}Hill and
Max Sch{\"{a}}fer},
title = {Upgrading fortran source code using automatic refactoring},
booktitle = {Proceedings of the 2013 {ACM} Workshop on Refactoring Tools, WRT@SPLASH
2013, Indianapolis, IN, USA, October 27, 2013},
pages = {29--32},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2541348.2541356},
doi = {10.1145/2541348.2541356},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/OrchardR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/OrchardM12,
author = {Dominic A. Orchard and
Alan Mycroft},
editor = {Ralf Hinze},
title = {A Notation for Comonads},
booktitle = {Implementation and Application of Functional Languages - 24th International
Symposium, {IFL} 2012, Oxford, UK, August 30 - September 1, 2012,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8241},
pages = {1--17},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-41582-1\_1},
doi = {10.1007/978-3-642-41582-1\_1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/OrchardM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Orchard11,
author = {Dominic A. Orchard},
editor = {Robert Hirschfeld and
Eelco Visser},
title = {The four Rs of programming language design},
booktitle = {{ACM} Symposium on New Ideas in Programming and Reflections on Software,
Onward! 2011, part of {SPLASH} '11, Portland, OR, USA, October 22-27,
2011},
pages = {157--162},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2089131.2089138},
doi = {10.1145/2089131.2089138},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Orchard11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1109-0777,
author = {Dominic A. Orchard and
Alan Mycroft},
editor = {Olivier Danvy and
Chung{-}chieh Shan},
title = {Efficient and Correct Stencil Computation via Pattern Matching and
Static Typing},
booktitle = {Proceedings {IFIP} Working Conference on Domain-Specific Languages,
{DSL} 2011, Bordeaux, France, 6-8th September 2011},
series = {{EPTCS}},
volume = {66},
pages = {68--92},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.66.4},
doi = {10.4204/EPTCS.66.4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-0777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/OrchardS10,
author = {Dominic A. Orchard and
Tom Schrijvers},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Haskell Type Constraints Unleashed},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {56--71},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_6},
doi = {10.1007/978-3-642-12251-4\_6},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/OrchardS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/OrchardBM10,
author = {Dominic A. Orchard and
Max Bolingbroke and
Alan Mycroft},
editor = {Leaf Petersen and
Enrico Pontelli},
title = {Ypnos: declarative, parallel structured grid programming},
booktitle = {Proceedings of the {POPL} 2010 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2010, Madrid, Spain, January 19, 2010},
pages = {15--24},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1708046.1708053},
doi = {10.1145/1708046.1708053},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/OrchardBM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/OrchardM08,
author = {Dominic A. Orchard and
Steve Matthews},
title = {Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation},
journal = {Math. Comput. Sci.},
volume = {2},
number = {1},
pages = {103--122},
year = {2008},
url = {https://doi.org/10.1007/s11786-008-0046-6},
doi = {10.1007/S11786-008-0046-6},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/OrchardM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-15 23:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
