ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS.

Japan ATS User Group (JATS-UG)

An user group for ATS language promotion of utilization. Translating ATS documents into Japanese.