Dominic Orchard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2019–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | A Mixed Linear and Graded Logic: Proofs, Terms, and Models. | Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard |
| 2025 | ESOP | Cognacy Queries over Dependence Graphs for Transparent Visualisations. | Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera |
| 2024 | ESOP | Program Synthesis from Graded Types. | Jack Hughes, Dominic Orchard |
| 2024 | Onward | Programming Languages for the Future of Design Computation. | Robert Aish, Al Fisher, Dominic Orchard, Jay Torry |
| 2022 | ECOOP | How to Take the Inverse of a Type. | Danielle Marshall, Dominic Orchard |
| 2022 | ESOP | Linearity and Uniqueness: An Entente Cordiale. | Danielle Marshall, Michael Vollmer, Dominic Orchard |
| 2021 | ESOP | Graded Hoare Logic and its Categorical Semantics. | Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato |
| 2021 | ESOP | Graded Modal Dependent Type Theory. | Benjamin Moon, Harley Eades III, Dominic Orchard |
| 2020 | FSCD | Data-Flow Analyses as Effects and Graded Monads. | Andrej Ivaskovic, Alan Mycroft, Dominic Orchard |
| 2020 | LOPSTR | Resourceful Program Synthesis from Graded Linear Types. | Jack Hughes, Dominic Orchard |
| 2019 | ESOP | Composing Bidirectional Programs Monadically. | Li-yao Xia, Dominic Orchard, Meng Wang |
| 2019 | ICSE | Learning units-of-measure from scientific code. | Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard |