ATS-first 2007 - Download

---

About ATS-first

ATS is a programming language equipped with a highly expressive type system rooted in the framework Applied Type System to unify implementation with formal specification. In ATS, a variety of programming paradigms are...

ATS is a programming language equipped with a highly expressive type system rooted in the framework Applied Type System to unify implementation with formal specification. In ATS, a variety of programming paradigms are supported in a typeful manner, including functional programming, imperative programming, object-oriented programming, template-based programming, modular programming, etc. ATS has moved on to become ATS2, which can be found at . What is stored here is now referred to as ATS0-Proto. It is mostly kept as a reference so as to provide some historic details on the development of ATS.

---

Previous Versions

Here you can find the changelog of ATS-first since it was posted on our website on 2015-04-24 03:00:00. The latest version is 2007 and it was updated on 2024-04-22 15:53:52. See below the changes in each version.

---

Related Apps

Here you can find apps that are similar with ATS-first.

---

Disclaimer