Web上には、古いATS1に関する記事と、最新のATS2に関する記事がまざっています。 ATS2に関する一次情報は ATS言語の公式マニュアル を参照してください。
- 安全なプログラミング言語を使って heartbleed を防ぐには
- ATS でデータ命題を使って証明を構築する
- Ranged integer types and bounds checking
- An Introduction to using pointers in ATS
- Implementing a stack with proofs in ATS
- Safer handling of C memory in ATS
- Lightweight Tasks Library for ATS
- ATS library reference
- ATSにおける線形オブジェクトのパターンマッチ
- ATSでレコードとC言語の構造体を使う
- Overloading Functions in ATS
- Safe destruction in the presence of sharing in ATS
- ATSにおける共有した線形リソース
- C言語のプログラムをATSに翻訳する
- ATSにおける線形データ型
- Reading data from a file in ATS
- より安全なATSによるC言語の使い方
- ATSにおける依存型
- ATSにおける並行プログラミング
- lin と llam を伴うクロージャ
- ATSのクロージャ
- ATSの関数
- ATSによる安全なC言語の使い方
- ATS Preforking Echo Server
- ATS - Applied Type System Programming Language
- ATSでの種、静的な世界、そして動的な世界
- Enigma Machine
- 遅延評価
- A Docker Image for Quick-starting ATS
- SublimeText Syntax Highlight for ATS
- Minimax Searching
- Matrices in ATS
- 自由変数、関数、そしてクロージャ
- High Order Functions
- 型についてさらに
- Lists
- 型について
- Very Basic ATS
- Install ATS in Cygwin