research
∙
09/13/2023
EXPRESSing Session Types
To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we ...
share
research
∙
04/27/2023
Traced Types for Safe Strategic Rewriting
Strategy languages enable programmers to compose rewrite rules into stra...
research
∙
04/17/2023
Structural Subtyping as Parametric Polymorphism
Structural subtyping and parametric polymorphism provide a similar kind ...
research
∙
01/25/2023
MAGπ: Types for Failure-Prone Communication
Multiparty Session Types (MPST) are a typing discipline for communicatio...
research
∙
08/22/2021
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2021: the Combined 2...
research
∙
07/27/2021
Papaya: Global Typestate Analysis of Aliased Objects Extended Version
Typestates are state machines used in object-oriented programming to spe...
research
∙
05/19/2021
Separating Sessions Smoothly
This paper introduces Hypersequent GV (HGV), a modular and extensible co...
research
∙
05/14/2021
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
Human fallibility, unpredictable operating environments, and the heterog...
research
∙
03/26/2021
Deadlock-Free Session Types in Linear Haskell
Priority Sesh is a library for session-typed communication in Linear Has...
research
∙
03/26/2021
Prioritise the Best Variation
Binary session types guarantee communication safety and session fidelity...
research
∙
03/23/2021
Row-Polymorphic Types for Strategic Rewriting
We present a type system for strategy languages that express program tra...
research
∙
08/27/2020
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
This volume contains the proceedings of EXPRESS/SOS 2020: the Combined 2...
research
∙
05/08/2020
π with leftovers: a mechanisation in Agda
The π-calculus is a computational model for communication and concurrenc...
research
∙
10/01/2018