Resources for ATS Users

• Editing ATS source code
• ML programmer's guide to ATS
• Courses 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.

---

Courses based on ATS

• 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'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).

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