[Haskell-cafe] Re: Comparing GADTs for Eq and Ord

[Jason Dagit]

On Mon, Sep 15, 2008 at 2:50 PM, Ryan Ingram <ryani.spam at gmail.com> 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