ATS (programming language) (English Wikipedia)

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

refsWebsite

Global rank English rank

10web.archive.org

1^st place

1^st place

low place

low place

2,120^th place

1,328^th place

383^rd place

320^th place

1groups.google.com

1,518^th place

1,072^nd place

1ats-lang.github.io

low place

low place

1,082^nd place

764^th place

1sourceforge.net

1,669^th place

1,290^th place

ats-lang.github.io

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

ats-lang.org

"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

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

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

groups.google.com

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

reddit.com

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

sourceforge.net

ats-lang.sourceforge.net

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

web.archive.org

"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)