Applied 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.

http://www.ats-lang.org/


''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.''
----
CategoryProgrammingLanguage