Matías Toro

Abstracting Gradual References (SCICO Journal-first)

Matías Toro, Éric Tanter, 2020, ECOOP.

A Gradual Interpretation of Union Types

Matías Toro, Éric Tanter, 2017, SAS.

Abstracting gradual references

Matías Toro, Éric Tanter, 2020, Sci. Comput. Program..

Type-Driven Gradual Security with References

Matías Toro, Éric Tanter, Ronald Garcia, 2018, ACM Trans. Program. Lang. Syst..

Customizable gradual polymorphic effects for Scala

Matías Toro, Éric Tanter, É. Tanter, 2015, OOPSLA.

Gradual parametricity, revisited

Matías Toro, Éric Tanter, Elizabeth Labrada, 2018, Proc. ACM Program. Lang..

Corrigendum to “Type-driven Gradual Security with References,” by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16

Matías Toro, Ronald Garcia, Éric Tanter, 2020, ACM Trans. Program. Lang. Syst..