research
∙
08/14/2023
Degrees of Separation: A Flexible Type System for Data Race Prevention
Data races are a notorious problem in parallel programming. There has be...
share
research
∙
09/15/2022
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Many programming languages in the OO tradition now support pattern match...
research
∙
07/07/2022
Scoped Capabilities for Polymorphic Effects
Type systems usually characterize the shape of values but not their free...
research
∙
05/25/2021