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 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: |
Browse archivesActive forum topics |
Recent comments
1 week 5 days ago
1 week 5 days ago
1 week 5 days ago
23 weeks 6 days ago
28 weeks 1 day ago
29 weeks 5 days ago
29 weeks 5 days ago
32 weeks 3 days ago
37 weeks 1 day ago
37 weeks 1 day ago