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 | 6278 reads
|
Browse archivesActive forum topics |
Recent comments
8 weeks 3 days ago
8 weeks 5 days ago
8 weeks 6 days ago
15 weeks 6 days ago
21 weeks 4 days ago
21 weeks 5 days ago
22 weeks 4 days ago
25 weeks 2 days ago
26 weeks 5 days ago
26 weeks 6 days ago