User loginNavigation |
Dependent types: literature, implementations and limitations ?In my eternal quest for provably safe concurrent and distributed resource management, I'm trying to reach an understanding of dependent types. I have read a bit about them, even toyed a little bit with them in Twelf, but I still don't quite *get* them.
By the way, the Wikipedia article on Dependent Types is nearly empty. Is there anyone interested in completing it ? By David Teller at 2005-11-21 12:49 | LtU Forum | previous forum topic | next forum topic | other blogs | 20238 reads
|
Browse archivesActive forum topics |
Recent comments
5 days 12 hours ago
1 week 3 days ago
1 week 4 days ago
1 week 4 days ago
2 weeks 2 days ago
2 weeks 5 days ago
2 weeks 5 days ago
2 weeks 5 days ago
4 weeks 19 hours ago
4 weeks 2 days ago