jared@mathstodon.xyz rated Types and Programming Languages: Show rating 3 stars Sept. 4, 2014 Public Types and Programming Languages by Benjamin C. Pierce (Types and Programming Languages (1))
