Matías Toro | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Éric Tanter
19 publications
David Darais
10 publications
Chike Abuah
4 publications
Federico Olmedo
3 publications
Joe Near
2 publications
Elizabeth Labrada
2 publications
Damian Arquez
1 publication

research

∙ 08/03/2023

Gradual Sensitivity Typing

Reasoning about the sensitivity of functions with respect to their input...

0 Damian Arquez, et al. ∙

research

∙ 10/21/2020

Contextual Linear Types for Differential Privacy

Language support for differentially-private programming is both crucial ...

0 Matías Toro, et al. ∙

research

∙ 07/12/2018

Gradual Parametricity, Revisited (with Appendix)

Bringing the benefits of gradual typing to a language with parametric po...

0 Matías Toro, et al. ∙

research

∙ 07/12/2018

Gradual Parametricity, Revisited

Bringing the benefits of gradual typing to a language with parametric po...

0 Matías Toro, et al. ∙