ATS (Applied Type System) is a programming language designed to unify programming with formal specification.
ATS compiler may produce C or JavaScript code.
ATS implements a Dependently Typed and Linearly Typed system.
ATS
This work is licensed under a Creative Commons Attribution 4.0 International License