[TYPES] seeking papers with good examples of the use of GADTs

[Karl Crary]

Norman,

My paper Flexible Type Analysis with Stephanie Weirich in ICFP 1999 has 
some examples using GADTs in typed intermediate languages.  The paper 
pre-dates the term "GADT" so you won't see it used explicitly, but you 
won't have any trouble making the connection.

    -- Karl Crary