research
∙
07/25/2023
Parametric Subtyping for Structural Parametric Polymorphism
We study the interaction of structural subtyping with parametric polymor...
share
research
∙
01/26/2022
Polarized Subtyping
Polarization of types in call-by-push-value naturally leads to the separ...
research
∙
03/28/2021
Subtyping on Nested Polymorphic Session Types
The importance of subtyping to enable a wider range of well-typed progra...
research
∙
12/24/2020
Rast: A Language for Resource-Aware Session Types
Traditional session types prescribe bidirectional communication protocol...
research
∙
11/18/2020
Probabilistic Resource-Aware Session Types
Session types guarantee that message-passing processes adhere to predefi...
research
∙
10/13/2020
Nested Session Types
Session types statically describe communication protocols between concur...
research
∙
05/12/2020
Session Types with Arithmetic Refinements
Session types statically prescribe bidirectional communication protocols...
research
∙
01/13/2020
Session Types with Arithmetic Refinements and Their Application to Work Analysis
Session types statically prescribe bidirectional communication protocols...
research
∙
02/16/2019
Resource-Aware Session Types for Digital Contracts
Programming digital contracts comes with unique challenges, which includ...
research
∙
04/17/2018
Parallel Complexity Analysis with Temporal Session Types
We study the problem of parametric parallel complexity analysis of concu...
research
∙
12/22/2017