[Haskell] Re: seeking papers with good examples of the use of GADTs

Dominic Steinitz dominic.steinitz at blueyonder.co.uk
Mon Apr 13 04:07:48 EDT 2009

> I am hoping some of you may have suggestions about other papers that
> would be good tutorials in the use of GADTs.
> Norman

This is very much in a state of flux but it may be worth taking a look at
http://code.haskell.org/asn1/ASNTYPE.lhs. There's also
http://www.haskell.org/haskellwiki/QuickCheck_/_GADT which may be of interest.


More information about the Haskell mailing list