ATS is a programming language with an advanced type system rooted in the framework of Applied Type System. In ATS, a programming paradigm for effectively constructing highly dependable software is supported that combines programming with theorem proving.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use