ATS

Summary

ATS is a declarative programming language^[1]. ATS draws 90 Wikipedia views per month (declarative_programming_language category, ranking #2 of 7).^[2]

Key Facts

• ATS was influenced by Dependent ML^[3].
• ATS was influenced by ML^[4].
• ATS was influenced by OCaml^[5].
• ATS was influenced by Q2407^[6].
• ATS's instance of is recorded as declarative programming language^[7].
• ATS's instance of is recorded as functional programming language^[8].
• ATS's instance of is recorded as dependently typed programming language^[9].
• ATS's instance of is recorded as programming language^[10].
• ATS's based on is recorded as Dependent ML^[11].
• ATS's logo image is recorded as The ATS Logo.svg^[12].
• ATS's developer is recorded as Boston University^[13].
• ATS's copyright license is recorded as GNU General Public License, version 3.0^[14].
• ATS's has use is recorded as formal verification^[15].
• +2006-00-00T00:00:00Z marks the founding of ATS^[16].
• ATS's publication date is recorded as +2015-01-20T00:00:00Z^[17].
• ATS's Freebase ID is recorded as /m/04q84w1^[18].
• ATS's official website is recorded as http://www.ats-lang.org/^[19].
• ATS's uses is recorded as automated theorem proving^[20].
• ATS's programming paradigm is recorded as declarative programming^[21].
• ATS's programming paradigm is recorded as functional programming^[22].
• ATS's copyright status is recorded as copyrighted^[23].
• ATS's typing discipline is recorded as static typing^[24].
• ATS's typing discipline is recorded as dependent typing^[25].
• ATS's typing discipline is recorded as linear typing^[26].

Body

Designation and Status

Recorded instance of include declarative programming language^[7], functional programming language^[8], dependently typed programming language^[9], and programming language^[10].

History and Context

+2006-00-00T00:00:00Z marks the founding of ATS^[16].

Why It Matters

ATS draws 90 Wikipedia views per month (declarative_programming_language category, ranking #2 of 7).^[2]