GoKawiilFree book 'Introduction to Programming in ATS' covers core language features
A new book introduces the ATS programming language, walking readers through functional programming basics, static and dependent types, recursively defined datatypes, polymorphism, linear types, theorem-proving, and template-based programming. The author notes the material is dense and best suited to readers who already have substantial programming experience, despite not formally requiring it.