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

Martijn van Steenbergen martijn at van.steenbergen.nl
Fri Apr 10 16:58:26 EDT 2009


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

There are more suggestions here:

http://www.haskell.org/haskellwiki/Research_papers/Type_systems#Generalised_Algebraic_Data_Types_.28GADTs.29

And do they have to be papers? Because there is also the wiki page:

http://www.haskell.org/haskellwiki/Generalised_algebraic_datatype

Hope this helps,

Martijn.



More information about the Haskell mailing list