BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Orchard:Dominic_A=

Contributed to:

ICFP 20142014
ICALP (2) 20132013
ICFP 20132013
IFL 20122012
Onward! 20112011
FLOPS 20102010
Haskell 20142014
OOPSLA 20172017
POPL 20162016
PPDP 20182018

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.