PROGRAMS BY ats-first.sf.net

ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In ATS, a variety of programming paradigms are supported in a typeful manner, including FP, OOP, etc.