Book in programming Types and Programming Languages 1st Edition (goodreads.com) By Benjamin C. Pierce ★ - 0 ratings Reviewed by 1 expert Patrick Collison Patrick Collison: