Home » forums » LtU Forum

Applied Type System

Hongwei 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 | 7004 reads