Embedding differential equations into types [Google Group] (11)
Atscc2clj [Google Group] (5)
Linear component may be abandoned [Google Group] (5)
A demo of memorizing functions in ATS [Google Group] (6)
Thinking about moving this group to Discourse [Google Group] (1)
Support for tail-call optimization in atscc2erl and atscc2scm [Google Group] (2)
Effective ATS: linear streams for memory-clean programs [Google Group] (4)
Real-time OS system state captured by ATS language (and questions) [Google Group] (13)
I found a quine using ATS language [Google Group] (1)
Disabling tail-call optimization [Google Group] (2)
Error compiling package in more recent ATS builds [Google Group] (7)
Declaring a static constant with an external name [Google Group] (2)
ATS2-0.2.8 released [Google Group] (1)
Patsolve_smt2 [Google Group] (2)
Support for solving constraints on reals [Google Group] (1)
#ats tag wiki on StackOverflow [Google Group] (1)
Atscc2scm: from ATS to Scheme [Google Group] (9)
Pygame API in ATS [Google Group] (1)
Ifcase-expressions [Google Group] (3)
State type annotation [Google Group] (2)
To the jvm! [Google Group] (6)
ATS2-0.2.7 released (fwd) [Google Group] (1)
Releasing ATS2-0.2.7 [Google Group] (2)
Not that i like javascript systems at all but [Google Group] (7)
Glot.io, a code pastebin that can also run your code, now supports ATS [Google Group] (10)
Syntax-hilighting for ATS code in docbook [Google Group] (9)
Syntax spec? (Let vs where) [Google Group] (3)
Please PRETTY PLEASE ditch sourceforge [Google Group] (6)
Where to file tickets / discuss issues? [Google Group] (3)
Something other than C [Google Group] (8)