User loginNavigation |
GADTs + Extensible Kinds = Dependent ProgrammingTim Sheard claims that usual functional programming methods (plus two new features found in his new programming language Ωmega) take care of some of the needs dependent types are often thrown at. By Jim Apple at 2005-05-06 05:32 | LtU Forum | previous forum topic | next forum topic | other blogs | 14204 reads
|
Browse archives
Active forum topics |
Recent comments
5 weeks 5 days ago
5 weeks 5 days ago
5 weeks 5 days ago
11 weeks 5 days ago
52 weeks 10 hours ago
52 weeks 14 hours ago
52 weeks 14 hours ago
1 year 22 weeks ago
1 year 26 weeks ago
1 year 27 weeks ago