Matías Toro

According to our database, Matías Toro authored at least 16 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Gradual Differentially Private Programming.

Matías Toro, Federico Olmedo, Éric Tanter

Commun. ACM, August, 2024

Merging Gradual Typing.

Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro

Proc. ACM Program. Lang., 2024

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

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., June, 2023

A Gradual Probabilistic Lambda Calculus.

Wenjia Ye, Matías Toro, Federico Olmedo

Proc. ACM Program. Lang., April, 2023

Gradual Sensitivity Typing.

Damián Árquez, Matías Toro, Éric Tanter

CoRR, 2023

2022

Plausible sealing for gradual parametricity.

Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese

Proc. ACM Program. Lang., 2022

Gradual System F.

Elizabeth Labrada, Matías Toro, Éric Tanter

J. ACM, 2022

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

Abstracting gradual references.

Matías Toro, Éric Tanter

Sci. Comput. Program., 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 (SCICO Journal-first).

Matías Toro, Éric Tanter

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

Gradual parametricity, revisited.

Matías Toro, Elizabeth Labrada, Éric Tanter

Proc. ACM Program. Lang., 2019

2018

Type-Driven Gradual Security with References.

Matías Toro, Ronald Garcia, Éric Tanter

ACM Trans. Program. Lang. Syst., 2018

2017

A Gradual Interpretation of Union Types.

Matías Toro, Éric Tanter

Proceedings of the Static Analysis - 24th International Symposium, 2017

2015

Customizable gradual polymorphic effects for Scala.

Matías Toro, Éric Tanter

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015