On Mon, Sep 15, 2008 at 2:50 PM, Ryan Ingram <[EMAIL PROTECTED]> wrote:
> There are many papers that talk about using GADTs to reify types in > this fashion to allow safe typecasting. They generally all rely on > the "base" GADT, "TEq"; every other GADT can be defined in terms of > TEq and existential types. I just found that Tim Sheard has collected a nice list of papers on this subject: http://web.cecs.pdx.edu/~sheard/ Jason _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
