Jump to content

Types and Programming Languages

Add links
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 77.56.53.183 (talk) at 22:33, 12 October 2016. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

For TAPL: The AWK Programming Language, see AWK.

Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) 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."[1]

References

  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.

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