« 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

Comments

Post a comment

¡Comment registration is required but no TypeKey token has been given in weblog configuration!