research
∙
09/08/2023
Graded Modal Types for Integrity and Confidentiality
Graded type systems, such as the one underlying the Granule programming ...
share
research
∙
04/13/2023
Communicating Actor Automata – Modelling Erlang Processes as Communicating Machines
Brand and Zafiropulo's notion of Communicating Finite-State Machines (CF...
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...
research
∙
03/04/2022
A Theory of Protocol Composition
Real-world communication protocols are often built out of a number of si...
research
∙
12/30/2021
Deriving Distributive Laws for Graded Linear Types
The recent notion of graded modal types provides a framework for extendi...
research
∙
11/11/2020
Guiding user annotations for units-of-measure verification
This extended abstract reports on previous work of the CamFort project i...
research
∙
10/25/2020
Graded Modal Dependent Type Theory
Graded type theories are an emerging paradigm for augmenting the reasoni...
research
∙
07/22/2020
Graded Hoare Logic and its Categorical Semantics
Deductive verification techniques, based on program logics (i.e., the fa...
research
∙
06/16/2020
Grading Adjoint Logic
We introduce a new logic that combines Adjoint Logic with Graded Necessi...
research
∙
01/28/2020
Unifying graded and parameterised monads
Monads are a useful tool for structuring effectful features of computati...
research
∙
03/31/2019
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software
Modern hardware platforms, from the very small to the very large, increa...
research
∙
02/19/2019