Types and Programming Languages

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]

External links

References

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


This article is issued from Wikipedia - version of the Monday, November 23, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.