Types and Programming Languages 1st Edition
By Benjamin C. Pierce
Visit on goodreads.com
Recommended by: Patrick Collison
★★★★☆ educational Loved reading this
