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. _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
