Introduction to Programming in ATS(ats-lang.sourceforge.net)
75 points by ibobev | 9 comments
Online book by Hongwei Xi introducing the ATS programming language, covering functional programming, dependent and linear types, theorem-proving, and templates.