research
∙
08/03/2023
Gradual Sensitivity Typing
Reasoning about the sensitivity of functions with respect to their input...
share
research
∙
10/21/2020
Contextual Linear Types for Differential Privacy
Language support for differentially-private programming is both crucial ...
research
∙
07/12/2018
Gradual Parametricity, Revisited (with Appendix)
Bringing the benefits of gradual typing to a language with parametric po...
research
∙
07/12/2018