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 http://ats-lang.org. 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.

Project Activity

See All Activity >

Follow ATS-first

ATS-first Web Site

Other Useful Business Software
Veeam Data Platform v13.1 - Get Your Free Trial Icon
Veeam Data Platform v13.1 - Get Your Free Trial

Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.

Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of ATS-first!

Additional Project Details

Registered

2005-07-14