2 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.PL2023★ 2 cited
Degrees of Separation: A Flexible Type System for Data Race Prevention
Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky
Data races are a notorious problem in parallel programming. There has been great research interest in type systems that statically prevent data races. Despite the progress in the s…
cs.LO2023★ 1 cited
A Mechanized Theory of the Box Calculus
Joseph Fourment, Yichen Xu
The capture calculus is an extension of System F<: that tracks free variables of terms in their type, allowing one to represent capabilities while limiting their scope. While previ…
cs.PL2023★ 2 cited
Formalizing Box Inference for Capture Calculus
Yichen Xu, Martin Odersky
Capture calculus has recently been proposed as a solution to effect checking, achieved by tracking the captured references of terms in the types. Boxes, along with the box and unbo…