Types and Programming Languages

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

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. ↑ Lua error in package.lua at line 80: module 'strict' not found.


<templatestyles src="Asbox/styles.css"></templatestyles>

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://infogalactic.com/w/index.php?title=Types_and_Programming_Languages&oldid=691926194"