About: ATS (programming language)

ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems. The performance of ATS has been demonstrated to be comparable to that of the C and C++ programming languages.

Property	Value
dbpprop:abstract	ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems. The performance of ATS has been demonstrated to be comparable to that of the C and C++ programming languages.
dbpprop:designer	dbpedia:Boston_University dbpedia:Hongwei_Xi
dbpprop:influencedBy	dbpedia:ML_(programming_language) dbpedia:Objective_Caml
dbpprop:name	ATS
dbpprop:paradigm	dbpedia:Imperative_programming dbpedia:Functional_programming dbpedia:Multi-paradigm_programming_language
dbpprop:reference	http://www.ats-lang.org/ http://www.reddit.com/r/programming/comments/72hmw/language_shootout_ats_is_the_new_top_gunslinger/ http://shootout.alioth.debian.org/ http://www.ats-lang.org/PAPER/CPwTP-icfp05.pdf
dbpprop:website	http://www.ats-lang.org/
dbpprop:wikiPageUsesTemplate	dbpedia:Template:infobox_programming_language
rdfs:comment	ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems. The performance of ATS has been demonstrated to be comparable to that of the C and C++ programming languages.
rdfs:label	ATS (programming language)
skos:subject	dbpedia:Category:Multi-paradigm_programming_languages
foaf:homepage	http://http://www.ats-lang.org/
foaf:page	http://en.wikipedia.org/wiki/ATS_%28programming_language%29
is dbpprop:influenced of	dbpedia:Objective_Caml