| Linearity and Uniqueness: An Entente Cordiale D Marshall, M Vollmer, D Orchard Programming Languages and Systems: 31st European Symposium on Programming …, 2022 | 22 | 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 | 8 | 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 | 4 | 2022 |
| Functional Ownership through Fractional Uniqueness D Marshall, D Orchard arXiv preprint arXiv:2310.18166, 2023 | 2 | 2023 |
| 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 | | 2024 |
Dominic OrchardSchool of Computing, University of Kent and Computer Laboratory, University of CambridgeVerified email at kent.ac.uk
