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 | 20979 reads
|
Browse archives
Active forum topics |
Recent comments
17 weeks 13 hours ago
17 weeks 13 hours ago
17 weeks 13 hours ago
23 weeks 1 day ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago