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

Related

• 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