1.1k citations · 1.6k across the 12 of their papers we have counts for
3 papers · 1 filter
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…
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…
A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning
Aleksander Boruch-Gruszecki, Radosław Waśko, Yichen Xu +1
Many programming languages in the OO tradition now support pattern matching in some form. Historical examples include Scala and Ceylon, with the more recent additions of Java, Kotl…