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 | 14267 reads
|
Browse archives
Active forum topics |
Recent comments
17 weeks 10 hours ago
17 weeks 10 hours ago
17 weeks 10 hours ago
23 weeks 21 hours 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