Hacker News new | past | comments | ask | show | jobs | submit | from login
The ATS Programming Language (ats-lang.org)
140 points by dan-robertson 5 days ago | past | web | 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 | web | 9 comments
Implementing Reliable Linux Device Drivers in ATS [pdf] (ats-lang.org)
1 point by mr_tyzic on June 26, 2014 | past | web
The ATS Programming Language (ats-lang.org)
2 points by albertzeyer on Aug 1, 2013 | past | web
ATS: a dependently-typed systems programming language? (ats-lang.org)
35 points by devinj on Dec 11, 2011 | past | web | 5 comments
ATS language - unleashing the potential of types (ats-lang.org)
8 points by falava on June 2, 2010 | past | web
ATS programming language (ats-lang.org)
12 points by huhtenberg on Jan 25, 2009 | past | web | 1 comment

Applications are open for YC Summer 2019

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: