Dominic A. Orchard

ORCID

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 10

Top Venues

ICFP

Semantics, Logics, and Calculi

J. Log. Algebraic Methods Program.

CoRR

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice
Automatic Reordering for Dataflow Safety of Datalog. PPDP (2018)
Dominic A. Orchard
Complexity bounds for container functors and comonads. Inf. Comput. 261 (2018)
Dominic A. Orchard, Nobuko Yoshida
Guest editors' foreword. J. Log. Algebraic Methods Program. 90 (2017)
Dominic A. Orchard, Mistral Contrastin, Matthew Danish, Andrew C. Rice
Verifying spatial properties of array computations. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
Combining effects and coeffects via grading. ICFP (2016)
Alan Mycroft, Dominic A. Orchard, Tomas Petricek
Effect Systems Revisited - Control-Flow Algebra and Semantics. Semantics, Logics, and Calculi (2016)
Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic A. Orchard
Units-of-Measure Correctness in Fortran Programs. Comput. Sci. Eng. 18 (1) (2016)
Dominic A. Orchard, Nobuko Yoshida
Effects as sessions, sessions as effects. POPL (2016)
Dominic A. Orchard, Andrew C. Rice, Oleg Oshmyan
Evolving Fortran types with inferred units-of-measure. J. Comput. Sci. 9 (2015)
Dominic A. Orchard, Nobuko Yoshida
Using session types as an effect system. PLACES (2015)
Samuel Aaron, Dominic A. Orchard, Alan F. Blackwell
Temporal semantics for a live coding language. FARM@ICFP (2014)
Dominic A. Orchard, Tomas Petricek
Embedding effect systems in Haskell. Haskell (2014)
Dominic A. Orchard, Tomas Petricek, Alan Mycroft
The semantic marriage of monads and effects. CoRR (2014)
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
Coeffects: a calculus of context-dependent computation. ICFP (2014)
Dominic A. Orchard
, byJan van Eijck andChristina Unger. J. Funct. Program. 24 (4) (2014)
Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft
Programming language evolution workshop report. PLE@ECOOP (2014)
Dominic A. Orchard, Andrew C. Rice
A Computational Science Agenda for Programming Language Research. ICCS (2014)
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
Coeffects: Unified Static Analysis of Context-Dependence. ICALP (2) (2013)
Dominic A. Orchard, Andrew C. Rice
Upgrading fortran source code using automatic refactoring. WRT@SPLASH (2013)
Leaf Petersen, Dominic A. Orchard, Neal Glew
Automatic SIMD vectorization for Haskell. ICFP (2013)
Dominic A. Orchard, Alan Mycroft
A Notation for Comonads. IFL (2012)
Dominic A. Orchard
The four Rs of programming language design. Onward! (2011)
Dominic A. Orchard, Alan Mycroft
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing DSL (2011)
Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
Ypnos: declarative, parallel structured grid programming. DAMP (2010)
Dominic A. Orchard, Tom Schrijvers
Haskell Type Constraints Unleashed. FLOPS (2010)
Dominic A. Orchard, Steve Matthews
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. Math. Comput. Sci. 2 (1) (2008)

Dominic A. Orchard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dominic A. Orchard