ATS

Paradigms	declarative programming, functional programming
Typing discipline	linear typing, dependent typing, static typing
First appeared	2006
Developer	Boston University
Type	programming language, dependently typed programming language, functional programming language, declarative programming language
First release	2015
Influenced by	OCaml, C++, Dependent ML, ML
License	GNU General Public License, version 3.0
Website	ats-lang.org