Advanced Topics In Types And Programming Languages

A thorough and accessible introduction to a range of key ideas in type systems forprogramming language.