Fine-grained Information Flow Analysis for a (Full version)-calculus with Sum Types (2009)
Vincent Simonet, Inria Rocquencourt
This paper presents a new type system tracing information flow for a-calculus equipped with polymorphic “let ” and with sums (a.k.a. union types or polymorphic variants). The type system allows...