This week, during PLDI 2024, there was a talk on how to make Julia’s subtyping decidable.
Congratulations to the four authors!
12 Likes
Does this work help to improve this algorithm?
Has any progress been made in formalizing the subtyping algorithm beyond this?