Fine-grained information flow analysis for a λ-calculus with sum types (2002)

by Vincent Simonet , Inria Rocquencourt
Venue:In Proc. IEEE Computer Security Foundations Workshop
Citations:5 - 1 self