Jake Donham rated Types and Programming Languages: 5 stars June 26, 2014 Public Types and Programming Languages by Benjamin C. Pierce (Types and Programming Languages (1))
