ATS Programming Language
Summary
ATS Programming Language page provides an overview of ATS, a statically typed language that unifies implementation with formal specification. It highlights dependent and linear types, multi-paradigm support, and the ATS LF subsystem for theorem proving, along with learning resources, installation options, and example code.