stem rooted in the framework <em>Applied Type System</em>, which gives
the language its name.  In particular, both dependent types and linear
types are available in ATS.
</p><!--para-->

<p>The current implementation of ATS2 (ATS/Postiats) is written in ATS1
(ATS/Anairiats). ATS can be as efficient as C/C++ both time-wise and
memory-wise (see <a href="http://shootout.alioth.debian.org/">The Computer
Language Benchmarks Game</a> for concrete evidence) and supports a variety of
programming paradigms that incl