#ats

Links Open in the Archive

• Tags » ats - ATS related blog posts at BluishCoder.Co.Nz

  bluishcoder.co.nz · 2014-04-11 · Page

• publications of Hongwei Xi

  cs.bu.edu · 2014-04-10 · Page

  Dependent types, ATS etc.,

• Why ATS?

  sourceforge.net · 2014-04-10 · Page

  John Skaller has a good overview of the ATS approach to safe software @junglecode