Vincent Simonet Fine-Grained Information Flow Analysis for a \lambda Calculus with Sum Types. 223-237 2002 conf/csfw/2002 CSFW http://csdl.computer.org/comp/proceedings/csfw/2002/1689/00/16890223abs.htm db/conf/csfw/csfw2002.html#Simonet02