Dominic Orchard

Dominic Orchard

University of Kent - Canterbury / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1074083
person_outline Dominic Orchard's MOST POPULAR ARTICLES
1-) Coeffects: A calculus of context-dependent computation ICFP 2014, 2014
2-) Quantitative program reasoning with graded modal types Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
3-) Combining effects and coeffects via grading. ICFP 2016, 476-489, 2016
4-) Coeffects: Unified static analysis of context-dependence⋆ LNCS, Prooceings of 40th International Colloquium on Automata, Languages …, 2013
5-) Effects as sessions, sessions as effects POPL 2016 51 (1), 568-581, 2016