Fine-grained information flow analysis for a /spl lambda/-calculus with sum types | IEEE Conference Publication | IEEE Xplore