LARA Types and Programming Languages Book Types and Programming Languages, by Benjamin C. Pierce The MIT Press, ISBN 0-262-16209-1 Author's Page for the Book
