research
∙
07/18/2023
Soundly Handling Linearity
We propose a novel approach to soundly combining linear types with effec...
share
research
∙
07/17/2023
Generic Programming with Extensible Data Types; Or, Making Ad Hoc Extensible Data Types Less Ad Hoc
We present a novel approach to generic programming over extensible data ...
research
∙
05/19/2021
Separating Sessions Smoothly
This paper introduces Hypersequent GV (HGV), a modular and extensible co...
research
∙
09/29/2019
Towards Races in Linear Logic
Process calculi based in logic, such as πDILL and CP, provide a foundati...
research
∙
06/29/2017