User loginNavigation 
archivesGNU epsilon  an extensible programming languageI haven't had a chance to check this out yet, so I'm putting this here, so that maybe one of you can report interesting things about it. GNU epsilon  an extensible programming language, PhD thesis by Luca Saiu, with many familiar folks in the jury, including Peter Van Roy.
Seeking feedback for a tutorial paper draft about GADTsHi Haskellers, I have written a draft of an introductorylevel 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: 
Browse archivesActive forum topics
New forum topics

Recent comments
16 hours 7 min ago
21 hours 43 min ago
22 hours 19 min ago
22 hours 38 min ago
1 day 15 hours ago
1 day 16 hours ago
2 days 15 hours ago
2 days 16 hours ago
5 days 46 min ago
5 days 5 hours ago