Hacker News
- The ATS Programming Language http://www.ats-lang.org/ 36 comments
- The ATS Programming Language http://www.ats-lang.org 38 comments
- The ATS Programming Language – Unleashing the Potentials of Types and Templates http://www.ats-lang.org 9 comments
- ATS: a dependently-typed systems programming language? http://www.ats-lang.org/ 5 comments
- Do dependent type systems subsume linear type systems? http://www.ats-lang.org/ 22 comments haskell
- ATS is a PL whose compiler guarantees there are no accesses to uninitialized memory etc. at compile time. Could this be used for systems programming? http://www.ats-lang.org/index.html 58 comments programming
- Programming in ATS, a book by Hongwei Xi. http://www.ats-lang.org/documentation/proginats/html/book1.html 19 comments programming