[Haskell-cafe] Estonia and GADT

Bulat Ziganshin bulatz at HotPOP.com
Sat Oct 15 14:14:19 EDT 2005

Hello Ralf,

Saturday, October 15, 2005, 9:00:53 PM, you wrote:

RH> I wrote a book chapter on GADTs a while ago, called "Fun with
RH> phantom types", see

RH>         http://www.informatik.uni-bonn.de/~ralf/publications.html#B4

thank you! i seen several articles about phantom types, including
yours, but just don't known that it is the same thing :)

Best regards,
 Bulat                            mailto:bulatz at HotPOP.com

More information about the Haskell-Cafe mailing list