Review of "Types and Programming Languages by Benjamin C. Pierce", MIT Press, 2002
- Review of "Types and Programming Languages by Benjamin C. Pierce", MIT Press, 2002
Recommendations
Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002
Type systems and type checking are playing an increasingly important role in the development of programming languages. Almost every programming language developed today are developed with type systems as an integral part of the language.
Comments
Information & Contributors
Information
Published In
Copyright © 2006 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 December 2006
Published in SIGACT Volume 37, Issue 4
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 212Total Downloads
- Downloads (Last 12 months)4
- Downloads (Last 6 weeks)0
Reflects downloads up to 26 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in