Resources for ATS/Anairiats Users


This website contains links to various resources for ATS/Anairiats users.

  • ATS/Anairiats User's Guide (pdf) (ps)
  • ATS/Anairiats User's Guide for Systems Programming (html)
  • A book on programming in ATS is available (here)
  • A mode for editing ATS source code in Emacs is available here.


  • This page is maintained by Hongwei Xi. As always, your comments are welcome.