ML Tutorial Introduction
Advanced Topics in Types and Programming Languages
Pierce Types and Programming Languages 2002