How can I get a segment of a list in ATS?...

casting in implementing gflist_vt_mergesort$cmp...

Why doesn't ATS support recursive types?...

Typechecking error involving the andalso macro in ATS...

How to create a global variable in ATS?...

What is the symbol for the exponentiation operation in ATS?...

How to write a loop over a given list in ATS?...

Why are there two list types in ATS: list and list0?...

How to turn an integer into a double in ATS?...

What is the meaning of g0ofg1?...

How to use the funset_avltree library?...

What does :<> mean in a function declaration?...

Why was the ATS language dropped from the Computer Language Benchmarks Game?...