All Stories

  1. Structuring Arrays with Algebraic Shapes

    Article • June 2025, ACM (Association for Computing Machinery)

    Dominic Orchard

  2. Programming Languages for the Future of Design Computation

    Article • October 2024, ACM (Association for Computing Machinery)

    Dominic Orchard

  3. On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs

    Article • Proceedings of the ACM on Programming Languages, August 2024, ACM (Association for Computing Machinery)

    Dominic Orchard

  4. Functional Ownership through Fractional Uniqueness

    Article • Proceedings of the ACM on Programming Languages, April 2024, ACM (Association for Computing Machinery)

    Dominic Orchard

  5. Quantitative program reasoning with graded modal types

    Article • Proceedings of the ACM on Programming Languages, July 2019, ACM (Association for Computing Machinery)

    Dominic Orchard

  6. Verifying spatial properties of array computations

    Article • Proceedings of the ACM on Programming Languages, October 2017, ACM (Association for Computing Machinery)

    Dominic Orchard

  7. Guest editors' foreword

    Article • Journal of Logical and Algebraic Methods in Programming, August 2017, Elsevier

    Dominic Orchard

  8. Article • Electronic Proceedings in Theoretical Computer Science, February 2016, Open Publishing Association

    Dominic Orchard

  9. Using session types as an effect system

    Article • Electronic Proceedings in Theoretical Computer Science, February 2016, Open Publishing Association

    Dominic Orchard

  10. Combining effects and coeffects via grading

    Article • January 2016, ACM (Association for Computing Machinery)

    Dominic Orchard

  11. Effects as sessions, sessions as effects

    Article • January 2016, ACM (Association for Computing Machinery)

    Dominic Orchard

  12. Units-of-Measure Correctness in Fortran Programs

    Article • Computing in Science & Engineering, January 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dominic Orchard

  13. Effect Systems Revisited—Control-Flow Algebra and Semantics

    Article • December 2015, Springer Science + Business Media

    Dominic Orchard

  14. Evolving Fortran types with inferred units-of-measure

    Article • Journal of Computational Science, July 2015, Elsevier

    Dominic Orchard

  15. Computational Semantics with Functional Programming, by Jan van Eijck and Christina Unger .

    Article • Journal of Functional Programming, April 2014, Cambridge University Press

    Dominic Orchard

  16. A Computational Science Agenda for Programming Language Research

    Article • Procedia Computer Science, January 2014, Elsevier

    Dominic Orchard

  17. Coeffects

    Article • January 2014, ACM (Association for Computing Machinery)

    Dominic Orchard

  18. Embedding effect systems in Haskell

    Article • January 2014, ACM (Association for Computing Machinery)

    Dominic Orchard

  19. Automatic SIMD vectorization for Haskell

    Article • September 2013, ACM (Association for Computing Machinery)

    Dominic Orchard

  20. Coeffects: Unified Static Analysis of Context-Dependence

    Article • January 2013, Springer Science + Business Media

    Dominic Orchard

  21. Upgrading fortran source code using automatic refactoring

    Article • January 2013, ACM (Association for Computing Machinery)

    Dominic Orchard

  22. A Notation for Comonads

    Article • January 2013, Springer Science + Business Media

    Dominic Orchard

  23. Efficient and Correct Stencil Computation via Pattern Matching and Static Typing

    Article • Electronic Proceedings in Theoretical Computer Science, September 2011, Open Publishing Association

    Dominic Orchard

  24. The four Rs of programming language design

    Article • January 2011, ACM (Association for Computing Machinery)

    Dominic Orchard

  25. Haskell Type Constraints Unleashed

    Article • January 2010, Springer Science + Business Media

    Dominic Orchard

  26. Ypnos

    Article • January 2010, ACM (Association for Computing Machinery)

    Dominic Orchard

  27. Integrating Lucid’s Declarative Dataflow Paradigm into Object-Orientation

    Article • Mathematics in Computer Science, November 2008, Springer Science + Business Media

    Dominic Orchard