Dominic A. Orchard

29 papers A* 1A 3C 3Misc 2Journal 7Unranked 10
YearRankTypeTitle / Venue / Authors
2021 C ed.
Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
PADL
José F. Morales, Dominic A. Orchard
2018 C conf
Automatic Reordering for Dataflow Safety of Datalog.
PPDP
Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice
2018 J jnl
Complexity bounds for container functors and comonads.
Inf. Comput.
Dominic A. Orchard
2017 J jnl
Guest editors' foreword.
J. Log. Algebraic Methods Program.
Dominic A. Orchard, Nobuko Yoshida
2017 J jnl
Verifying spatial properties of array computations.
Proc. ACM Program. Lang.
Dominic A. Orchard, Mistral Contrastin, Matthew Danish, Andrew C. Rice
2016 A conf
Combining effects and coeffects via grading.
ICFP
Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu
2016 — conf
Effect Systems Revisited - Control-Flow Algebra and Semantics.
Semantics, Logics, and Calculi
Alan Mycroft, Dominic A. Orchard, Tomas Petricek
2016 A* conf
Effects as sessions, sessions as effects.
POPL
Dominic A. Orchard, Nobuko Yoshida
2016 — ed.
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016.
PLACES
Dominic A. Orchard, Nobuko Yoshida
2016 J jnl
Units-of-Measure Correctness in Fortran Programs.
Comput. Sci. Eng.
Mistral Contrastin, Andrew C. Rice, Matthew Danish, Dominic A. Orchard
2015 J jnl
Evolving Fortran types with inferred units-of-measure.
J. Comput. Sci.
Dominic A. Orchard, Andrew C. Rice, Oleg Oshmyan
2015 — conf
Using session types as an effect system.
PLACES
Dominic A. Orchard, Nobuko Yoshida
2014 Misc conf
A Computational Science Agenda for Programming Language Research.
ICCS
Dominic A. Orchard, Andrew C. Rice
2014 A conf
Coeffects: a calculus of context-dependent computation.
ICFP
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
2014 C conf
Embedding effect systems in Haskell.
Haskell
Dominic A. Orchard, Tomas Petricek
2014 — ed.
Proceedings of the 1st Workshop on Programming Language Evolution, PLE@ECOOP 2014, Uppsala, Sweden, July 28, 2014
PLE@ECOOP
Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft
2014 — —
Programming contextual computations.
Dominic A. Orchard
2014 — conf
Programming language evolution workshop report.
PLE@ECOOP
Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft
2014 — conf
Temporal semantics for a live coding language.
FARM@ICFP
Samuel Aaron, Dominic A. Orchard, Alan F. Blackwell
2014 J jnl
The semantic marriage of monads and effects.
CoRR
Dominic A. Orchard, Tomas Petricek, Alan Mycroft
2013 A conf
Automatic SIMD vectorization for Haskell.
ICFP
Leaf Petersen, Dominic A. Orchard, Neal Glew
2013 — conf
Coeffects: Unified Static Analysis of Context-Dependence.
ICALP (2)
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
2013 — conf
Upgrading fortran source code using automatic refactoring.
WRT@SPLASH
Dominic A. Orchard, Andrew C. Rice
2012 — conf
A Notation for Comonads.
IFL
Dominic A. Orchard, Alan Mycroft
2011 — conf
Efficient and Correct Stencil Computation via Pattern Matching and Static Typing
DSL
Dominic A. Orchard, Alan Mycroft
2011 — conf
The four Rs of programming language design.
Onward!
Dominic A. Orchard
2010 Misc conf
Haskell Type Constraints Unleashed.
FLOPS
Dominic A. Orchard, Tom Schrijvers
2010 — conf
Ypnos: declarative, parallel structured grid programming.
DAMP
Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
2008 J jnl
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation.
Math. Comput. Sci.
Dominic A. Orchard, Steve Matthews