Types and Programming Languages

by

English language

Published Feb. 1, 2002

ISBN:
978-0-262-16209-8
Copied ISBN!

View on Inventaire

5 stars (2 reviews)

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

1 edition