Types_and_Programming_Languages

<i>Types and Programming Languages</i>

Types and Programming Languages

Add article description

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

  1. [1]
    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.


Stub icon 1 Stub icon 2

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

This article uses material from the Wikipedia article Types_and_Programming_Languages, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.