References on GADT's

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

References on GADT's

Damian Nadales
Hi,

I'm climbing up the standardized ladder of functional programming:
    https://news.ycombinator.com/item?id=13067741

The next topic on my list is to gain some understanding and practice
on GADT's (competent section of the ladder). Do you have any resources
that you would recommend? Are there any books that cover the topic?

Thanks in advance,
Damian.
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.