FYI.
I wrote a short article for my current programming class:
http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/list-folding/index.html
It is included in the Effective ATS series. It is some very elementary
stuff but could
be helpful for beginners of functional programming and/or ATS.
Cheers!
–Hongwei