Programma's van ats-first.sf.net

ATS is een programmeertaal met een zeer expressief type systeem geworteld in het framework Applied Type System. In ATS worden verschillende programmeerparadigma's op een typevolle manier ondersteund, waaronder FP, OOP, enz.