ATS (Applied Type System) programlama dili, OCaml ve C++ gibi diller kullanılarak yazılmıştır. ATS/Proto (ATS0), ilk sürümü olup, OCaml ile yazılmıştır. ATS/Geizella (ATS1), ilk aktif sürümüdür ve yine OCaml ile yazılmıştır. ATS/Anairiats (ATS1), 2008 yılında piyasaya sürülen ve büyük ölçüde ATS1 ile yazılmış önemli bir sürümdür. ATS/Postiats (ATS2), 2013 yılında piyasaya sürülen ve büyük ölçüde ATS1 ile yazılmış mevcut sürümdür. Ayrıca, ATS'nin bazı bölümleri için Bağımlı ML (Dependent ML) dili de kullanılmıştır.