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 | 20242 reads
|
Browse archivesActive forum topics
|
Recent comments
6 days 22 hours ago
1 week 4 days ago
1 week 5 days ago
1 week 5 days ago
2 weeks 4 days ago
3 weeks 3 hours ago
3 weeks 3 hours ago
3 weeks 3 hours ago
4 weeks 2 days ago
4 weeks 3 days ago