User loginNavigation |
Applied Type SystemHongwei Xi, creator of DML and Xanadu, the ad hoc dependently typed programming languages, is developing ATS. It has several imporvemens over previous work, including object orientation and safe pointer arithmetic. By Jim Apple at 2005-05-11 12:16 | LtU Forum | previous forum topic | next forum topic | other blogs | 6684 reads
|
Browse archives
Active forum topics |
Recent comments
35 weeks 1 day ago
35 weeks 1 day ago
35 weeks 1 day ago
1 year 5 weeks ago
1 year 9 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 13 weeks ago
1 year 18 weeks ago
1 year 18 weeks ago