Types and Programming Languages

by Benjamin C. Pierce

Blurb

Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type systems.
A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."

Member Reviews Write your own review

Be the first person to review

Log in to comment