« Java-related tools | Main | Introductory slides on species »
May 30, 2005
Type-Based Analysis
A good bibliography of material on type-based analyses, including flow-types, effect systems, etc.
Posted by Carette at May 30, 2005 10:58 PM
« Java-related tools | Main | Introductory slides on species »
A good bibliography of material on type-based analyses, including flow-types, effect systems, etc.
Posted by Carette at May 30, 2005 10:58 PM