| Linearity and Uniqueness: An Entente Cordiale D Marshall, M Vollmer, D Orchard Programming Languages and Systems: 31st European Symposium on Programming …, 2022 | 24 | 2022 |
| Linear Exponentials as Graded Modal Types J Hughes, D Marshall, J Wood, D Orchard 5th International Workshop on Trends in Linear Logic and Applications (TLLA …, 2021 | 10 | 2021 |
| Replicate, reuse, repeat: Capturing non-linear communication via session types and graded modal types D Marshall, D Orchard arXiv preprint arXiv:2203.12875, 2022 | 6 | 2022 |
| Functional Ownership through Fractional Uniqueness D Marshall, D Orchard Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1040-1070, 2024 | 2 | 2024 |
| Graded Modal Types for Integrity and Confidentiality D Marshall, D Orchard arXiv preprint arXiv:2309.04324, 2023 | 2* | 2023 |
| How to Take the Inverse of a Type D Marshall, DA Orchard Proceedings of 36th European Conference on Object-Oriented Programming …, 2022 | 2 | 2022 |
| A Mixed Linear and Graded Logic: Proofs, Terms, and Models V Vollmer, D Marshall, H Eades III, D Orchard arXiv preprint arXiv:2401.17199, 2024 | 1 | 2024 |
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeVerified email at kent.ac.uk
