research
∙
11/28/2022
Mechanized Noninterference for Gradual Security
This paper presents the first machine-checked proof of noninterference f...
share
research
∙
01/30/2020
Toward a Mechanized Compendium of Gradual Typing
The research on gradual typing has grown considerably over the last deca...
research
∙
06/24/2019
Transitivity of Subtyping for Intersection Types
The subtyping relation for intersection type systems traditionally emplo...
research
∙
02/20/2019
Optimizing and Evaluating Transient Gradual Typing
Gradual typing enables programmers to combine static and dynamic typing ...
research
∙
02/18/2018
Efficient Gradual Typing
Gradual typing combines static and dynamic typing in the same program. O...
research
∙
07/12/2017