Daniel Marshall | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Dominic Orchard
12 publications

research

∙ 09/08/2023

Graded Modal Types for Integrity and Confidentiality

Graded type systems, such as the one underlying the Granule programming ...

0 Daniel Marshall, et al. ∙

research

∙ 03/24/2022

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types

Session types provide guarantees about concurrent behaviour and can be u...

0 Daniel Marshall, et al. ∙