9 citations · 10 across the 7 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022
Mechanized Noninterference for Gradual Security
Tianyu Chen, Jeremy G. Siek
This paper presents the first machine-checked proof of noninterference for a language with gradual information-flow control, thereby establishing a rock solid foundation for secure…
cs.PL2020
Parameterized Cast Calculi and Reusable Meta-theory for Gradually Typed Lambda Calculi
Jeremy G. Siek
The research on gradual typing has led to many variations on the Gradually Typed Lambda Calculus (GTLC) of Siek and Taha (2006) and its underlying cast calculus. For example, Wadle…