Introduction to Programming in ATS

ATS is a syntax-rich and feature-rich programming language that combines functional programming with advanced type systems including dependent types, linear types, and theorem-proving capabilities. This book serves as a comprehensive introduction to ATS's core features, progressing from basic functional programming and simple types through more advanced topics like polymorphic types, modular programming, and interaction with C. The content is dense and assumes readers have considerable programming experience, though no prior familiarity with programming in general is required.