Search This Blog

ATS

9:46 AM | with 0 comments »

ATS is a programming language with a highly expressive type system rooted in the framework Applied Type System. In particular, both dependent types and linear types are available in ATS. The current implementation of ATS (ATS/Anairiats) is written in ATS itself.
Home Page for ATS...
Blogged with the Flock Browser

0 comments