Introduction to Programming in ATS
Summary
The article presents an in-depth introduction to ATS, a programming language with dependent types and theorem-proving capabilities, through a book outline covering core features such as functional programming, datatypes, polymorphism, and modularity. It serves as a reference for developers exploring advanced type systems and template-based programming in ATS.