Resources for ATS Users

• Editing ATS source code
• Viewing ATS source code
• Compiling projects based on ATS
• ML programmer's guide to ATS
• Courses about ATS and based on ATS

---

Editing ATS source code

• A mode for editing ATS source code in vim.
• A mode for editing ATS source code in emacs.

---

Viewing ATS source code

• A site for viewing ATS source code with cross-reference support.

---

Compiling projects based on ATS

• ATS-CMake is a CMake utility for compiling ATS source code (contained in multiple files).

---

ML programmer's guide to ATS

• A guide to learning ATS for someone who is familiar with an ML-like language.

---

Courses about ATS and based on ATS

• BU CAS CS 320: ATS is mostly used like SML in this undergraduate-level course:
  • Spring 2013
  • Summer I, 2010
  • Summer I, 2009

• BU CAS CS 511: ATS is employed primarily as a programming language advocating formal specification and verification:
  • Spring'12

• BU CAS CS 520: Many advanced features in ATS such as dependent types and linear types are presented in this graduate-level course:
  • Fall'12
  • Fall'11
  • Fall'10
  • Fall'09
  • Fall'08

• BU CAS CS 525: ATS is employed in compiler construction:
  • Spring'11
  • Spring'09: TIGERATS is a compiler written in ATS for the Tiger language presented in Andrew Appel's book on modern compiler design and implementation. This compiler currently targets x86-32 and MIPS32 (plus pseudo instructions accepted by SPIM).