## User login## Navigation |
## archives## GNU 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 archives## Active forum topics- Programming Languages as Mathematical Representations
- Looking for references on the expressiveness and computational completeness of a relational programming language
- language handling of memory and other resource failures
- Whither FRP?
- Is there a language with the ability to write arbitrary type functions?
## New forum topics |

## Recent comments

1 hour 3 min ago

1 hour 53 min ago

2 hours 19 min ago

1 day 11 hours ago

1 day 12 hours ago

1 day 12 hours ago

1 day 12 hours ago

1 day 14 hours ago

1 day 22 hours ago

1 day 23 hours ago