Dominic A. Orchard

According to our database, Dominic A. Orchard authored at least 51 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Conjugate operators for transparent, explorable research outputs.

Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera

CoRR, 2024

A Mixed Linear and Graded Logic: Proofs, Terms, and Models.

Victoria Vollmer, Daniel Marshall, Harley Eades III, Dominic Orchard

CoRR, 2024

Program Synthesis from Graded Types.

Jack Hughes, Dominic Orchard

Proceedings of the Programming Languages and Systems, 2024

2023

A Theory of Composing Protocols.

Laura Bocchi, Dominic Orchard, A. Laura Voinea

Art Sci. Eng. Program., 2023

Functional Ownership through Fractional Uniqueness.

Daniel Marshall, Dominic Orchard

CoRR, 2023

Graded Modal Types for Integrity and Confidentiality.

Daniel Marshall, Dominic Orchard

CoRR, 2023

Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines.

Dominic Orchard, Mihail Munteanu, Paulo Torrens

Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023

2022

How to Take the Inverse of a Type (Artifact).

Daniel Marshall, Dominic Orchard

Dagstuhl Artifacts Ser., 2022

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types.

Daniel Marshall, Dominic Orchard

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

A Theory of Protocol Composition.

Laura Bocchi, Dominic Orchard, A. Laura Voinea

CoRR, 2022

Linearity and Uniqueness: An Entente Cordiale.

Daniel Marshall, Michael Vollmer, Dominic Orchard

Proceedings of the Programming Languages and Systems, 2022

How to Take the Inverse of a Type.

Daniel Marshall, Dominic Orchard

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

Graded Modal Dependent Type Theory.

Benjamin Moon, Harley Eades III, Dominic Orchard

Proceedings of the Programming Languages and Systems, 2021

Graded Hoare Logic and its Categorical Semantics.

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato

Proceedings of the Programming Languages and Systems, 2021

2020

Deriving Distributive Laws for Graded Linear Types.

Jack Hughes, Michael Vollmer, Dominic Orchard

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

Guiding user annotations for units-of-measure verification.

Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice

CoRR, 2020

Grading Adjoint Logic.

Harley Eades III, Dominic Orchard

CoRR, 2020

Unifying graded and parameterised monads.

Dominic Orchard, Philip Wadler, Harley Eades III

Proceedings of the Proceedings Eighth Workshop on Mathematically Structured Functional Programming, 2020

Resourceful Program Synthesis from Graded Linear Types.

Jack Hughes, Dominic Orchard

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

Data-Flow Analyses as Effects and Graded Monads.

Andrej Ivaskovic, Alan Mycroft, Dominic Orchard

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Quantitative program reasoning with graded modal types.

Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III

Proc. ACM Program. Lang., 2019

Composing bidirectional programs monadically (with appendices).

Li-yao Xia, Dominic Orchard, Meng Wang

CoRR, 2019

Learning units-of-measure from scientific code.

Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard

Proceedings of the 14th International Workshop on Software Engineering for Science, 2019

Composing Bidirectional Programs Monadically.

Li-yao Xia, Dominic Orchard, Meng Wang

Proceedings of the Programming Languages and Systems, 2019

2018

Complexity bounds for container functors and comonads.

Dominic A. Orchard

Inf. Comput., 2018

Automatic Reordering for Dataflow Safety of Datalog.

Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

2017

Verifying spatial properties of array computations.

Dominic A. Orchard, Mistral Contrastin, Matthew Danish, Andrew C. Rice

Proc. ACM Program. Lang., 2017

Guest editors' foreword.

Dominic A. Orchard, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2017

2016

Units-of-Measure Correctness in Fortran Programs.

Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic A. Orchard

Comput. Sci. Eng., 2016

Effects as sessions, sessions as effects.

Dominic A. Orchard, Nobuko Yoshida

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Combining effects and coeffects via grading.

Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Effect Systems Revisited - Control-Flow Algebra and Semantics.

Alan Mycroft, Dominic A. Orchard, Tomas Petricek

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Evolving Fortran types with inferred units-of-measure.

Dominic A. Orchard, Andrew C. Rice, Oleg Oshmyan

J. Comput. Sci., 2015

Using session types as an effect system.

Dominic A. Orchard, Nobuko Yoshida

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

2014

Programming contextual computations.

Dominic A. Orchard

PhD thesis, 2014

<i>Computational Semantics with Functional Programming</i>, byJan van Eijck andChristina Unger.

Dominic A. Orchard

J. Funct. Program., 2014

The semantic marriage of monads and effects.

Dominic A. Orchard, Tomas Petricek, Alan Mycroft

CoRR, 2014

Coeffects: a calculus of context-dependent computation.

Tomas Petricek, Dominic A. Orchard, Alan Mycroft

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Temporal semantics for a live coding language.

Samuel Aaron, Dominic A. Orchard, Alan F. Blackwell

Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, 2014

A Computational Science Agenda for Programming Language Research.

Dominic A. Orchard, Andrew C. Rice

Proceedings of the International Conference on Computational Science, 2014

Embedding effect systems in Haskell.

Dominic A. Orchard, Tomas Petricek

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

Programming language evolution workshop report.

Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft

Proceedings of the 1st Workshop on Programming Language Evolution, 2014

2013

Upgrading fortran source code using automatic refactoring.

Dominic A. Orchard, Andrew C. Rice

Proceedings of the 2013 ACM Workshop on Refactoring Tools, 2013

Automatic SIMD vectorization for Haskell.

Leaf Petersen, Dominic A. Orchard, Neal Glew

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

Coeffects: Unified Static Analysis of Context-Dependence.

Tomas Petricek, Dominic A. Orchard, Alan Mycroft

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

2012

A Notation for Comonads.

Dominic A. Orchard, Alan Mycroft

Proceedings of the Implementation and Application of Functional Languages, 2012

2011

Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

Dominic A. Orchard, Alan Mycroft

Proceedings of the Proceedings IFIP Working Conference on Domain-Specific Languages, 2011

The four Rs of programming language design.

Dominic A. Orchard

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

2010

Ypnos: declarative, parallel structured grid programming.

Dominic A. Orchard, Max Bolingbroke, Alan Mycroft

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Haskell Type Constraints Unleashed.

Dominic A. Orchard, Tom Schrijvers

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2008

Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation.

Dominic A. Orchard, Steve Matthews

Math. Comput. Sci., 2008