research
∙
11/11/2019
Existential Types for Relaxed Noninterference
Information-flow security type systems ensure confidentiality by enforci...
research
∙
06/11/2019