User loginNavigation |
The Disciplined Disciple CompilerDisciple is an explicitly lazy dialect of Haskell which includes: The wiki page has more information, unfortunately there's no paper yet summarizing the ideas and results. Their effect system is quite interesting. Some of the ideas recently discussed here are implemented in Disciple. via Haskell Cafe By Daniel Yokomizo at 2008-03-20 14:19 | Functional | Semantics | Type Theory | other blogs | 13890 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 6 days ago
6 weeks 6 days ago
6 weeks 6 days ago
13 weeks 4 hours ago
1 year 1 week ago
1 year 1 week ago
1 year 1 week ago
1 year 23 weeks ago
1 year 27 weeks ago
1 year 29 weeks ago