article

Review of "Types and Programming Languages by Benjamin C. Pierce", MIT Press, 2002

Author:
Mats Kindahl

View Profile

Authors Info & Claims

ACM SIGACT News Volume 37 Issue 4December 2006pp 29–34https://doi.org/10.1145/1189056.1189062

Published:01 December 2006Publication History

Check for updates on crossmark

ACM SIGACT News

First page image

Index Terms

Review of "Types and Programming Languages by Benjamin C. Pierce", MIT Press, 2002
1. Theory of computation
  1. Logic

Index terms have been assigned to the content through auto-classification.

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.

Read More
Benjamin C. Pierce (ed.)Advanced Topics in Types and Programming Languages. The MIT Press (2005) ISBN 0-262-16228-8. £39.95. 574 pp. Hardbound.
Read More
The Imperative Programming Languages
Read More

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Published in

ACM SIGACT News Volume 37, Issue 4
December 2006
117 pages
ISSN:0163-5700
DOI:10.1145/1189056
Issue’s Table of Contents

Copyright © 2006 Author
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Published: 1 December 2006
Check for updates
Qualifiers
- article
Conference
Funding Sources
Other Metrics
View Article Metrics

Article Metrics
- 0
  Total Citations
  View Citations
- 210
  Total Downloads
- Downloads (Last 12 months)12
- Downloads (Last 6 weeks)1
Other Metrics
View Author Metrics
Cited By
This publication has not been cited yet

PDF Format

View or Download as a PDF file.

eReader

View online with eReader.

View Issue’s Table of Contents