Decidable Subtyping of Existential Types for Julia

This week, during PLDI 2024, there was a talk on how to make Julia’s subtyping decidable.

Congratulations to the four authors!


Does this work help to improve this algorithm?

Has any progress been made in formalizing the subtyping algorithm beyond this?