Matías Toro

23 papers A 3B 1Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Compiling Gradual Types with Evidence.
CoRR
José Luis Romero, Cristóbal Isla, Matías Toro, Éric Tanter
2025 — conf
Elucidating Type Conversions in SQL Engines.
ESOP (1)
Wenjia Ye, Matías Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, Éric Tanter
2025 J jnl
Flexible and Expressive Typed Path Patterns for GQL.
Proc. ACM Program. Lang.
Wenjia Ye, Matías Toro, Tomás Díaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoc
2025 A conf
Gradual Sensitivity Typing.
CSF
Damián Árquez, Matías Toro, Éric Tanter
2025 J jnl
Robust Dynamic Embedding for Gradual Typing.
Proc. ACM Program. Lang.
Koen Jacobs, Matías Toro, Nicolas Tabareau, Éric Tanter
2025 J jnl
Visualizing the semantics of gradual languages with Gredex.
SoftwareX
Matías Toro, Éric Tanter
2024 J jnl
Gradual Differentially Private Programming.
Commun. ACM
Matías Toro, Federico Olmedo, Éric Tanter
2024 J jnl
Merging Gradual Typing.
Proc. ACM Program. Lang.
Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro
2024 J jnl
Speed Limit Reduction Enhances Urban Worker Safety: Evidence from a Decade of Traffic Incidents in Santiago, Chile.
CoRR
Eduardo Graells-Garrido, Matías Toro, Gabriel Mansilla, Matías Nicolai, Santiago Mansilla, Jocelyn Dunstan
2023 J jnl
A Gradual Probabilistic Lambda Calculus.
Proc. ACM Program. Lang.
Wenjia Ye, Matías Toro, Federico Olmedo
2023 J jnl
Contextual Linear Types for Differential Privacy.
ACM Trans. Program. Lang. Syst.
Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
2023 J jnl
Gradual Sensitivity Typing.
CoRR
Damián Árquez, Matías Toro, Éric Tanter
2022 J jnl
Gradual System F.
J. ACM
Elizabeth Labrada, Matías Toro, Éric Tanter
2022 J jnl
Plausible sealing for gradual parametricity.
Proc. ACM Program. Lang.
Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese
2020 A conf
Abstracting Gradual References (SCICO Journal-first).
ECOOP
Matías Toro, Éric Tanter
2020 J jnl
Abstracting gradual references.
Sci. Comput. Program.
Matías Toro, Éric Tanter
2020 J jnl
Contextual Linear Types for Differential Privacy.
CoRR
Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
2020 J jnl
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.
ACM Trans. Program. Lang. Syst.
Matías Toro, Ronald Garcia, Éric Tanter
2019 J jnl
Gradual parametricity, revisited.
Proc. ACM Program. Lang.
Matías Toro, Elizabeth Labrada, Éric Tanter
2018 J jnl
Gradual Parametricity, Revisited.
CoRR
Matías Toro, Elizabeth Labrada, Éric Tanter
2018 J jnl
Type-Driven Gradual Security with References.
ACM Trans. Program. Lang. Syst.
Matías Toro, Ronald Garcia, Éric Tanter
2017 B conf
A Gradual Interpretation of Union Types.
SAS
Matías Toro, Éric Tanter
2015 A conf
Customizable gradual polymorphic effects for Scala.
OOPSLA
Matías Toro, Éric Tanter