Types for Information Flow Control: Labeling Granularity and Semantic Models
CSF（2018）
Key words
Information-flow-control,type-systems,logical-relations,granularity,translations
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined