Types and Programming Languages
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."
- Comment
- enTypes 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."
- Has abstract
- enTypes 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."
- Hypernym
- Book
- Is primary topic of
- Types and Programming Languages
- Label
- enTypes and Programming Languages
- Link from a Wikipage to another Wikipage
- Benjamin C. Pierce
- Book
- Category:Computer science books
- Frank Pfenning
- Type system
- SameAs
- 4wzWQ
- m.03c19nb
- Q7860935
- Subject
- Category:Computer science books
- WasDerivedFrom
- Types and Programming Languages?oldid=929323885&ns=0
- WikiPageLength
- 757
- Wikipage page ID
- 13308336
- Wikipage revision ID
- 929323885
- WikiPageUsesTemplate
- Template:Authority control
- Template:Compu-book-stub
- Template:ISBN
- Template:Italic title
- Template:Official website
- Template:Reflist