Items where Author, Editor or other role is "Marshall, Danielle"
Number of items: 2.
Article
| Marshall, Danielle, Orchard, Dominic A. (2024) Non-linear communication via graded modal session types. Information and Computation, 301 (Part A). Article Number 105234. ISSN 0890-5401. E-ISSN 1090-2651. (doi:10.1016/j.ic.2024.105234) (KAR id:107848) |
Thesis
| Marshall, Danielle (2026) Graded Modal Types for Memory and Communication Safety. Doctor of Philosophy (PhD) thesis, University of Kent,. (KAR id:113723) |

Up a level