Fine-grained information analysis for a -calculus with sum types. Submitted for publication. URL: http://cristal.inria.fr/~simonet/publis/simonet-csfw-02. ps.gz (0)

by V Simonet