From Wikipedia, the free encyclopedia
Computing book by Benjamin C. Pierce
Types and Programming Languages Author Benjamin C. Pierce Language English Subject Type Systems Genre Computing Publisher MIT PressPublication date
February 1, 2002 ISBN 978-0262162098Types and Programming Languages, written by Benjamin C. Pierce who is a Professor of Computer and Information Science at the University of Pennsylvania[1] is a computing book on type systems and programming languages.[2] Types and Programming Languages was published in 2002 by MIT Press.[3]
Since its publication, the book has become one of the most widely cited and influential texts in the field of programming language theory.[1] It is frequently used as a graduate-level textbook in computer science programs around the world and has shaped the way type systems are taught in academic curricula.[2][1]
A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."[4]
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4