[Haskell-cafe] Seeking feedback for a tutorial paper draft about GADTs

Anton Dergunov anton.dergunov at mail.ru
Tue Jan 8 20:07:48 CET 2013

Hi Haskellers,
I have written a draft of an introductory-level tutorial paper about GADTs in Haskell (for submittion to proceedings of the recent LASER summer school) and I would like to seek initial feedback about its content: what information is probably missing? are there any subtle mistakes?
The main idea of this article was to serve as a starting point for learning GADTs (I was missing this kind of information myself some time ago), so I have collected several examples demonstrating common use cases.

Best Regards,
Anton Dergunov

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130108/ecb76f03/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pdf
Size: 292994 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130108/ecb76f03/attachment-0001.pdf>

More information about the Haskell-Cafe mailing list