Applied Type System
Applied Type SystemApplied Type System (ATS) is a research ProgrammingLanguage by Hongwai Xi at Boston University. It is an embodiment of a type system, designed to allow provably correct systems programming. It was originally implemented in ObjectiveCaml.
Interesting, I wonder when work began on this project?
Sourceforge has the first download listed in 2008-09-11 so it probably started before 2008 or around then.
EditText of this page
(last edited April 18, 2012)
or FindPage with title or text search