Types And Programming Languages

From Handwiki

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. ↑ 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. 



Retrieved from "http://192.227.78.150/wiki/index.php?title=Types_and_Programming_Languages&oldid=2534216"

Categories: [Computer science books]

↧ Download as ZWI file | Last modified: 11/06/2025 11:47:00 | 27 views
☰ Source: https://handwiki.org/wiki/Types_and_Programming_Languages | License: CC BY-SA 3.0

✘
ZWI is not signed. [what is this?]

ZWI viewer by the EncyclosphereKSF