research
∙
07/25/2023
Parametric Subtyping for Structural Parametric Polymorphism
We study the interaction of structural subtyping with parametric polymor...
share
research
∙
07/11/2023
Subtyping Context-Free Session Types
Context-free session types describe structured patterns of communication...
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/26/2022
Polarized Subtyping
Polarization of types in call-by-push-value naturally leads to the separ...
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
∙
03/28/2021
Subtyping on Nested Polymorphic Session Types
The importance of subtyping to enable a wider range of well-typed progra...
research
∙
10/13/2020
Nested Session Types
Session types statically describe communication protocols between concur...
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/02/2019