Here is a link to ATS web page: http://www.cs.bu.edu/~hwxi/ATS/ATS.html
Swaroop. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
ATS is a language being developed at Boston University that attempts to
use dependent types in practical programming. I think this work is
interesting and relevant to the BitC effort.
