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.

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

Reply via email to