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 | 13214 reads
|
Browse archivesActive forum topics |
Recent comments
2 weeks 6 hours ago
4 weeks 1 day ago
13 weeks 3 days ago
13 weeks 5 days ago
14 weeks 1 hour ago
20 weeks 6 days ago
26 weeks 4 days ago
26 weeks 5 days ago
27 weeks 4 days ago
30 weeks 3 days ago