Title: Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002
Abstract: 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.
Publication Year: 2005
Publication Date: 2005-03-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot