Contact: https://sourceforge.net/projects/ats-lang/lists/ats-lang-users
FAQ: https://github.com/githwxi/ATS-Postiats/wiki/Frequently-asked-questions
Repository: https://git.code.sf.net/p/ats2-lang/code
Repository-Browse: https://sourceforge.net/p/ats2-lang/code/ci/master/tree/
Reference:
- Author: Hongwei Xi
  Title: "Applied Type System: An Approach to Practical Programming with Theorem-Proving"
  Journal: arXiv:1703.08683 [cs.PL]
Funding:
 - National Science Foundation
