Takip et
Dominic Orchard
Dominic Orchard
School of Computing, University of Kent and Computer Laboratory, University of Cambridge
kent.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Coeffects: A calculus of context-dependent computation
T Petricek, D Orchard, A Mycroft
ICFP 2014, 2014
1352014
Quantitative program reasoning with graded modal types
D Orchard, VB Liepelt, H Eades III
Proceedings of the ACM on Programming Languages 3 (ICFP), 1-30, 2019
1122019
Combining effects and coeffects via grading.
M Gaboardi, S Katsumata, DA Orchard, F Breuvart, T Uustalu
ICFP 2016, 476-489, 2016
1102016
Coeffects: Unified static analysis of context-dependence⋆
T Petricek, D Orchard, A Mycroft
LNCS, Prooceings of 40th International Colloquium on Automata, Languages …, 2013
692013
Effects as sessions, sessions as effects
D Orchard, N Yoshida
POPL 2016 51 (1), 568-581, 2016
672016
Ypnos: declarative, parallel structured grid programming
DA Orchard, M Bolingbroke, A Mycroft
Proceedings of the 5th ACM SIGPLAN workshop on Declarative aspects of …, 2010
482010
Embedding effect systems in Haskell
D Orchard, T Petricek
Haskell Symposium 2014, 2014
462014
Graded Modal Dependent Type Theory
B Moon, H Eades III, D Orchard
arXiv preprint arXiv:2010.13163, 2020
412020
Effect systems revisited—control-flow algebra and semantics
A Mycroft, D Orchard, T Petricek
Semantics, Logics, and Calculi - Lecture Notes in Computer Science 9560, 1-32, 2016
332016
Haskell type constraints unleashed
D Orchard, T Schrijvers
International Symposium on Functional and Logic Programming, 56-71, 2010
322010
Linearity and Uniqueness: An Entente Cordiale
D Marshall, M Vollmer, D Orchard
European Symposium on Programming, 346-375, 2022
252022
Unifying graded and parameterised monads
D Orchard, P Wadler, H Eades III
arXiv preprint arXiv:2001.10274, 2020
242020
The semantic marriage of monads and effects
D Orchard, T Petricek, A Mycroft
arXiv preprint arXiv:1401.5391, 2014
242014
Programming contextual computations
D Orchard
Cambridge University, 2013
242013
A computational science agenda for programming language research
D Orchard, A Rice
International Conference of Computational Science, 2014
222014
Automatic SIMD Vectorization for Haskell
L Petersen, D Orchard, N Glew
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
202013
Upgrading Fortran source code using automatic refactoring
D Orchard, A Rice
Proceedings of the 2013 ACM workshop on Workshop on refactoring tools, Pages …, 2013
192013
Evolving Fortran types with inferred units-of-measure
D Orchard, A Rice, O Oshmyan
Journal of Computational Science, 2015
172015
Temporal Semantics for a Live Coding Language
S Aaron, D Orchard, AF Blackwell
Functional Art, Music, and Modelling and Design (FARM) 2014, 2014
172014
Graded Hoare Logic and its Categorical Semantics
M Gaboardi, S Katsumata, D Orchard, T Sato
arXiv preprint arXiv:2007.11235, 2020
162020
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20