Login / Signup
Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types.
Vincent Simonet
Published in:
CSFW (2002)
Keyphrases
</>
fine grained
flow analysis
coarse grained
information flow
information systems
data structure
lambda calculus
knowledge base