User loginNavigation |
Seeking feedback for a tutorial paper draft about GADTsHi 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. Here is a link to the paper: By Anton Dergunov at 2013-01-08 19:18 | LtU Forum | previous forum topic | next forum topic | other blogs | 3504 reads
|
Browse archives
Active forum topics |
Recent comments
6 days 12 hours ago
6 days 12 hours ago
1 week 5 days ago
2 weeks 1 day ago
2 weeks 2 days ago
2 weeks 2 days ago
2 weeks 2 days ago
4 weeks 4 days ago
8 weeks 10 hours ago
8 weeks 18 hours ago