Types and Programming Languages

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources.
Find sources: "Types and Programming Languages" – news · newspapers · books · scholar · JSTOR (March 2024)

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]

References

^ Pfenning, Frank (June 2004). "review of Types and Programming Languages by Benjamin C. Pierce". The Bulletin of Symbolic Logic. 10 (2). Association for Symbolic Logic: 213–214. doi:10.1017/s1079898600003954. JSTOR 3176763.

External links

Official website

This article about a computer book or series of books is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Types_and_Programming_Languages&oldid=1214785329"