Customizable gradual polymorphic effects for Scala. - Matías Toro; Éric Tanter (OOPSLA, 2015)

A Gradual Interpretation of Union Types. - Matías Toro; Éric Tanter (SAS, 2017)

Type-Driven Gradual Security with References. - Matías Toro; Ronald Garcia; Éric Tanter (ACM Trans. Program. Lang. Syst., 2018)

Gradual parametricity, revisited. - Matías Toro; Elizabeth Labrada; Éric Tanter (Proc. ACM Program. Lang., 2019)

Abstracting Gradual References (SCICO Journal-first). - Matías Toro; Éric Tanter (ECOOP, 2020)

Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joe Near; Federico Olmedo; Éric Tanter (CoRR, 2020)

Abstracting gradual references. - Matías Toro; Éric Tanter (Sci. Comput. Program., 2020)

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 (ACM Trans. Program. Lang. Syst., 2020)

Gradual System F. - Elizabeth Labrada; Matías Toro; Éric Tanter (J. ACM, 2022)

Plausible sealing for gradual parametricity. - Elizabeth Labrada; Matías Toro; Éric Tanter; Dominique Devriese (Proc. ACM Program. Lang., 2022)

A Gradual Probabilistic Lambda Calculus. - Wenjia Ye; Matías Toro; Federico Olmedo (Proc. ACM Program. Lang., 2023)

Contextual Linear Types for Differential Privacy. - Matías Toro; David Darais; Chike Abuah; Joseph P. Near; Damián Árquez; Federico Olmedo; Éric Tanter (ACM Trans. Program. Lang. Syst., 2023)

Speed Limit Reduction Enhances Urban Worker Safety: Evidence from a Decade of Traffic Incidents in Santiago, Chile. - Eduardo Graells-Garrido; Matías Toro; Gabriel Mansilla; Matías Nicolai; Santiago Mansilla; Jocelyn Dunstan (CoRR, 2024)

Merging Gradual Typing. - Wenjia Ye; Bruno C. d. S. Oliveira; Matías Toro (Proc. ACM Program. Lang., 2024)

Gradual Differentially Private Programming. - Matías Toro; Federico Olmedo; Éric Tanter (Commun. ACM, 2024)

Gradual Sensitivity Typing. - Damián Árquez; Matías Toro; Éric Tanter (CSF, 2025)

Elucidating Type Conversions in SQL Engines. - Wenjia Ye; Matías Toro; Claudio Gutierrez; Bruno C. d. S. Oliveira; Éric Tanter (ESOP (1), 2025)