(Q621618)

Statements

instance of

declarative programming language

1 reference

imported from Wikimedia project

English Wikipedia

functional programming language

1 reference

imported from Wikimedia project

English Wikipedia

dependently typed programming language

1 reference

Wikimedia import URL

https://en.wikipedia.org/wiki/Category:Dependently_typed_languages

stated in

Category:Dependently typed languages

programming language

2 references

imported from Wikimedia project

English Wikipedia

imported from Wikimedia project

English Wikipedia

has use

formal verification

0 references

logo image

The ATS Logo.svg
500 × 500; 1 KB

0 references

based on

Dependent ML

0 references

publication date

20 January 2015

1 reference

reference URL

https://sourceforge.net/projects/ats-lang/files/ats-lang/

title

The ATS PL System - Browse /ats-lang at SourceForge.net (English)

retrieved

15 December 2023

influenced by

Dependent ML

1 reference

imported from Wikimedia project

English Wikipedia

ML

1 reference

imported from Wikimedia project

English Wikipedia

OCaml

1 reference

imported from Wikimedia project

English Wikipedia

C++

1 reference

imported from Wikimedia project

English Wikipedia

programming paradigm

declarative programming

0 references

functional programming

0 references

official website

http://www.ats-lang.org/

language of work or name

English

0 references

copyright license

GNU General Public License, version 3.0

1 reference

imported from Wikimedia project

English Wikipedia

copyright status

copyrighted

0 references

uses

automated theorem proving

0 references

typing discipline

static typing

0 references

dependent typing

0 references

linear typing

0 references

Identifiers