blob: ff3e20355ea08bc2985105765b67cebbdbe5ab97 (
plain) (
tree)
|
|
ATS is a statically typed programming language
that unifies implementation with formal specification.
It is equipped with a highly expressive type system rooted in
the framework Applied Type System, which gives the language its name.
In particular, both dependent types and linear types are available in ATS.
WWW: http://www.ats-lang.org/
|