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 | 12744 reads
|
Browse archivesActive forum topics |
Recent comments
2 hours 50 min ago
4 hours 37 min ago
5 hours 44 min ago
7 hours 52 min ago
12 hours 3 min ago
1 day 36 min ago
1 day 39 min ago
1 day 1 hour ago
1 day 8 hours ago
1 day 8 hours ago