Travelled to:1 × Japan
1 × Latvia
1 × Sweden
1 × United Kingdom
2 × USA
Collaborated with:A.Mycroft T.Petricek Mistral Contrastin Andrew C. Rice ∅ T.Schrijvers T.P.0001 N.Yoshida L.Petersen N.Glew Matthew Danish
Talks about:haskel (3) effect (3) coeffect (2) session (2) context (2) automat (2) depend (2) comput (2) constraint (1) properti (1)
Person: Dominic A. Orchard
DBLP: Orchard:Dominic_A=
Contributed to:
2014
20132013
2012
2011
2010
2014
2017
2016
2018Wrote 10 papers:
- ICFP-2014-PetricekOM #calculus #named
- Coeffects: a calculus of context-dependent computation (TP, DAO, AM), pp. 123–135.
- ICALP-v2-2013-PetricekOM #named #static analysis
- Coeffects: Unified Static Analysis of Context-Dependence (TP, DAO, AM), pp. 385–397.
- ICFP-2013-PetersenOG #automation #haskell
- Automatic SIMD vectorization for Haskell (LP, DAO, NG), pp. 25–36.
- IFL-2012-OrchardM #monad
- A Notation for Comonads (DAO, AM), pp. 1–17.
- Onward-2011-Orchard #design #programming language
- The four Rs of programming language design (DAO), pp. 157–162.
- FLOPS-2010-OrchardS #constraints #haskell
- Haskell Type Constraints Unleashed (DAO, TS), pp. 56–71.
- Haskell-2014-OrchardP #haskell
- Embedding effect systems in Haskell (DAO, TP0), pp. 13–24.
- OOPSLA-2017-OrchardCDR #array #verification
- Verifying spatial properties of array computations (DAO, MC, MD, ACR), p. 30.
- POPL-2016-OrchardY
- Effects as sessions, sessions as effects (DAO, NY), pp. 568–581.
- PPDP-2018-ContrastinOR #automation #data flow #datalog #order #safety
- Automatic Reordering for Dataflow Safety of Datalog (MC, DAO, ACR), p. 17.