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
∙
06/10/2023
Formalizing Box Inference for Capture Calculus
Capture calculus has recently been proposed as a solution to effect chec...
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
