| | The ATS Programming Language (ats-lang.org) |
|
99 points by rak1507 on Aug 17, 2021 | past | 36 comments
|
|
| | The ATS Programming Language (ats-lang.org) |
|
141 points by dan-robertson on March 15, 2019 | past | 38 comments
|
|
| | The ATS Programming Language – Unleashing the Potentials of Types and Templates (ats-lang.org) |
|
46 points by fspeech on Nov 15, 2015 | past | 9 comments
|
|
| | Implementing Reliable Linux Device Drivers in ATS [pdf] (ats-lang.org) |
|
1 point by mr_tyzik on June 26, 2014 | past
|
|
| | The ATS Programming Language (ats-lang.org) |
|
2 points by albertzeyer on Aug 1, 2013 | past
|
|
| | ATS: a dependently-typed systems programming language? (ats-lang.org) |
|
35 points by devinj on Dec 11, 2011 | past | 5 comments
|
|
| | ATS language - unleashing the potential of types (ats-lang.org) |
|
8 points by falava on June 2, 2010 | past
|
|
| | ATS programming language (ats-lang.org) |
|
12 points by huhtenberg on Jan 25, 2009 | past | 1 comment
|
|
