Types and Programming Languages 1st Edition
(goodreads.com)
By Benjamin C. Pierce
Reviewed by 1 expert
Patrick Collison:
Patrick Collison:
Patrick Collison: