ATS (programming language) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "ATS (programming language)" in English language version.

Last modified: 10:06:39, 22 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank English rank

1210web.archive.org

1^st place

98ats-lang.org

low place

42bu.edu

2,348^th place

1,348^th place

32github.com

380^th place

337^th place

21sourceforge.net

1,842^nd place

1,520^th place

11groups.google.com

2,153^rd place

1,445^th place

11ats-lang.github.io

low place

11reddit.com

1,712^th place

1,373^rd place

ats-lang.github.io (Global: low place; English: low place)

"Introduction to Programming in ATS". ats-lang.github.io. Retrieved 2024-02-23.

ats-lang.org (Global: low place; English: low place)

"Combining Programming with Theorem Proving" (PDF). Archived from the original (PDF) on 2014-11-29. Retrieved 2014-11-18.
Compilation - Garbage collection Archived August 4, 2009, at the Wayback Machine
type of an array Archived September 4, 2011, at the Wayback Machine types like @[T][I]
Manual, section 7.1. Safe Memory Access through Pointers^{[permanent dead link]} (outdated)
Dataview construct Archived April 13, 2010, at the Wayback Machine
Datatype construct Archived April 14, 2010, at the Wayback Machine
Manual - 7.3 Memory allocation on stack Archived August 9, 2014, at the Wayback Machine (outdated)
Val and Var declarations Archived August 9, 2014, at the Wayback Machine (outdated)

bu.edu (Global: 2,348^th place; English: 1,348^th place)

cs.bu.edu

"ATS-PL-SYS". www.cs.bu.edu. Retrieved 2024-02-23.
"Termination metrics". Archived from the original on 2016-10-18. Retrieved 2017-05-20.

github.com (Global: 380^th place; English: 337^th place)

Xi, Hongwei (2024-02-17). "githwxi/ATS-Xanadu". GitHub. Retrieved 2024-02-23.
Dataviewtype construct

groups.google.com (Global: 2,153^rd place; English: 1,445^th place)

Xi, Hongwei (14 November 2020). "[ats-lang-users] ATS2-0.4.2 released". ats-lang-users. Retrieved 17 November 2020.

reddit.com (Global: 1,712^th place; English: 1,373^rd place)

Discussion about the language's efficiency (Language Shootout: ATS is the new top gunslinger. Beats C++.)

sourceforge.net (Global: 1,842^nd place; English: 1,520^th place)

ats-lang.sourceforge.net

"Introduction to Dependent types". Archived from the original on 2016-03-12. Retrieved 2016-02-13.

web.archive.org (Global: 1^st place; English: 1^st place)

"Combining Programming with Theorem Proving" (PDF). Archived from the original (PDF) on 2014-11-29. Retrieved 2014-11-18.
ATS benchmarks | Computer Language Benchmarks Game (web archive)
"Termination metrics". Archived from the original on 2016-10-18. Retrieved 2017-05-20.
Compilation - Garbage collection Archived August 4, 2009, at the Wayback Machine
type of an array Archived September 4, 2011, at the Wayback Machine types like @[T][I]
"Introduction to Dependent types". Archived from the original on 2016-03-12. Retrieved 2016-02-13.
Dataview construct Archived April 13, 2010, at the Wayback Machine
Datatype construct Archived April 14, 2010, at the Wayback Machine
Manual - 7.3 Memory allocation on stack Archived August 9, 2014, at the Wayback Machine (outdated)
Val and Var declarations Archived August 9, 2014, at the Wayback Machine (outdated)

ATS (programming language) (English Wikipedia)

ats-lang.github.io (Global: low place; English: low place)

ats-lang.org (Global: low place; English: low place)

bu.edu (Global: 2,348th place; English: 1,348th place)

cs.bu.edu

github.com (Global: 380th place; English: 337th place)

groups.google.com (Global: 2,153rd place; English: 1,445th place)

reddit.com (Global: 1,712th place; English: 1,373rd place)

sourceforge.net (Global: 1,842nd place; English: 1,520th place)