by ats-hwxi
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.
| File/Folder Name | Platform | Size | Date | Notes/Subscribe |
|---|---|---|---|---|
| Newest Files | ||||
| ats-lang-anairiats-0.1.4.tar.gz | Platform-Independent | 1.4 MiB | Fri Jul 03 2009 08:15 | |
| All Files | ||||
| ats-lang | Subscribe Monitor Release Notes | |||
| anairiats-0.1.4 | Release Notes | |||
| ats-lang-anairiats-0.1.4-linux-x86-64.tar.gz | AMD64 | 740.7 KiB | Sat May 16 2009 21:05 | |
| ats-lang-anairiats-0.1.4-linux-x86.32.tar.gz | i386 | 631.3 KiB | Sun May 17 2009 08:12 | |
| ats-lang-anairiats-0.1.4.tar.gz | Platform-Independent | 1.4 MiB | Fri Jul 03 2009 08:15 | |
| anairiats-0.1.2 | Release Notes | |||
| anairiats-0.1.1 | Release Notes | |||
| anairiats-0.1.0 | Release Notes | |||
| anairiats-0.0.2 | Release Notes | |||
| anairiats-0.0.1 | Release Notes | |||
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
