ATS

Programming language

2006Appeared

static typing, dependent typing, linear typingType system

Facts

Appeared: 2006
Type system: static typing, dependent typing, linear typing
First release: January 20, 2015
Kind: declarative programming language, functional programming language, dependently typed programming language
Paradigms: functional programming, declarative programming
Developer: Boston University
Influenced by: OCaml, C++, Dependent ML, ML
Based on: Dependent ML
Licence: GNU General Public License, version 3.0
Used for: formal verification
Influences listed: 4