We stand with Ukraine  

Matías Toro

Orcid: 0000-0002-5315-0198

According to our database1, Matías Toro authored at least 13 papers between 2015 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Contextual Linear Types for Differential Privacy.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Wenjia Ye
,
Matías Toro
,
Federico Olmedo
Proc. ACM Program. Lang., April, 2023

Gradual Sensitivity Typing.
[BibTeX]
[DOI]
Damián Árquez
,
Matías Toro
,
Éric Tanter
CoRR, 2023

2022
Plausible sealing for gradual parametricity.
[BibTeX]
[DOI]
Elizabeth Labrada
,
Matías Toro
,
Éric Tanter
,
Dominique Devriese
Proc. ACM Program. Lang., 2022

Gradual System F.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Matías Toro
,
Ronald Garcia
,
Éric Tanter
ACM Trans. Program. Lang. Syst., 2020

Abstracting gradual references.
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
Sci. Comput. Program., 2020

Contextual Linear Types for Differential Privacy.
[BibTeX]
[DOI]
Matías Toro
,
David Darais
,
Chike Abuah
,
Joe Near
,
Federico Olmedo
,
Éric Tanter
CoRR, 2020

Abstracting Gradual References (SCICO Journal-first).
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019
Gradual parametricity, revisited.
[BibTeX]
[DOI]
Matías Toro
,
Elizabeth Labrada
,
Éric Tanter
Proc. ACM Program. Lang., 2019

2018
Type-Driven Gradual Security with References.
[BibTeX]
[DOI]
Matías Toro
,
Ronald Garcia
,
Éric Tanter
ACM Trans. Program. Lang. Syst., 2018

2017
A Gradual Interpretation of Union Types.
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
Proceedings of the Static Analysis - 24th International Symposium, 2017

2015
Customizable gradual polymorphic effects for Scala.
[BibTeX]
[DOI]
Matías Toro
,
Éric Tanter
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015


  Loading...