Wikidata facts
- Official website
- www.ats-lang.org
Show 2 more facts
- publication date
- 2015-01-20
- inception
- 2006-00-00
Sources (2)
via Wikidata · CC0
Connections
programming language
Entity
type system
Entity
automated theorem proving
Entity
algebraic data type
Entity
software
Entity
Q15777
Entity
Q2407
Entity
computer programming
Entity
Wayback Machine
Entity
theorem
Entity
object-oriented programming
Entity
GNU General Public License
Entity
Q364
Entity
open-source software
Entity
Boston University
Entity
software license
Entity
pointer
Entity
high-level programming language
Entity
functional programming
Entity
software development
Entity
Categories
Cross-platform free softwareDeclarative programming languagesDependently typed languagesExtensible syntax programming languagesFree and open source compilersFunctional languagesHigh-level programming languagesML programming language familyMulti-paradigm programming languagesObject-oriented programming languagesOCaml programming language familyProgramming languages created in 2006Software using the GNU General Public LicenseStatically typed programming languagesSystems programming languages