research
∙
07/11/2023
Subtyping Context-Free Session Types
Context-free session types describe structured patterns of communication...
share
research
∙
04/13/2023
Kind Inference for the FreeST Programming Language
We present a kind inference algorithm for the FREEST programming languag...
research
∙
04/07/2023
Parameterized Algebraic Protocols
We propose algebraic protocols that enable the definition of protocol te...
research
∙
01/20/2023
System F^μ_ω with Context-free Session Types
We study increasingly expressive type systems, from F^μ – an extension o...
research
∙
03/24/2022
Higher-order Context-free Session Types in System F
We present an extension of System F with higher-order context-free sessi...
research
∙
01/20/2022
The Different Shades of Infinite Session Types
Many type systems include infinite types. In session type systems, which...
research
∙
08/05/2021
Protocol-based Smart Contract Generation
The popularity of smart contracts is on the rise, yet breaches in reliab...
research
∙
06/12/2021
Polymorphic Context-free Session Types
Context-free session types provide a typing discipline for recursive str...
research
∙
07/16/2020
SafeRESTScript: Statically Checking REST API Consumers
Consumption of REST services has become a popular means of invoking code...
research
∙
04/03/2020
Mixed Sessions: the Other Side of the Tape
The original paper on Mixed Sessions introduce the side A of the tape: t...
research
∙
04/03/2020
Duality of Session Types: The Final Cut
Duality is a central concept in the theory of session types. Since a fla...
research
∙
11/02/2019
Label-Dependent Session Types
Session types have emerged as a typing discipline for communication prot...
research
∙
04/02/2019
FreeST: Context-free Session Types in a Functional Language
FreeST is an experimental concurrent programming language. Based on a co...
research
∙
09/15/2018
Gradual Session Types
Session types are a rich type discipline, based on linear types, that li...
research
∙
09/08/2018
Affine Sessions
Session types describe the structure of communications implemented by ch...
research
∙
12/10/2013