ATS

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.

#pl #proof #functional

This work is licensed under a Creative Commons Attribution 4.0 International License