28 citations · 29 across the 4 of their papers we have counts for
5 papers · 1 filter
A Gradual Probabilistic Lambda Calculus
Wenjia Ye, Matías Toro, Federico Olmedo
Probabilistic programming languages extend ordinary programming languages with the ability to sample values from probability distributions. Type systems can establish invariants of…
Compiling Gradual Types with Evidence
José Luis Romero, Cristóbal Isla, Matías Toro +1
Efficiently supporting sound gradual typing in a language with structural types is challenging. To date, the Grift compiler is the only close-to-the-metal implementation of gradual…
Gradual Sensitivity Typing
Damian Arquez, Matías Toro, Éric Tanter
Reasoning about the sensitivity of functions with respect to their inputs has interesting applications in various areas, such as differential privacy. In order to check and enforce…
Contextual Linear Types for Differential Privacy
Matías Toro, David Darais, Chike Abuah +4
Language support for differentially-private programming is both crucial and delicate. While elaborate program logics can be very expressive, type-system based approaches using line…
Gradual System F
Elizabeth Labrada, Matías Toro, Éric Tanter
Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first…