ATS
  • Linear Types in ATS

    by Vanessa McHale | ATS

    Like my last post on ATS , this is far from a full-fledged tutorial, but I think it will nonetheless be instructive to students of ATS.

  • Practical ATS

    by Vanessa McHale | ATS

    ATS is an obscure language, and perhaps justifiably so. It was exactly as I was warned (insane, idiosyncratic syntax; key features barely documented; no tutorials), but it was also beautiful, moving, and surprisingly practical.