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.
Review of Types and Programming Languages by Benjamin C. Pierce; The MIT Press, 2002
ways, arrange them at the table, which we can do in (i 1)! ways (the answer is not i! since the tables are round), then arrange the n i at the left table anyway you like, which is (n i)! ways. Hence the number of ways to seat n + 1 people at two identical round tables is n i=0 n! (i 1)!(n i)! = i!(n i)! n i=0 n! (i 1)! = i! n i=0 n n! 1 = n! = n!Hn . i i i=0 End of Proof Costello: Wow! Blows my mind! You should write a review of that book for SIGACT NEWS. Abbott: I just did. Costello: When? Abbott: Just now. Costello: Who should read this book? Abbott: Who s on rst. Costello: Never tell the same joke twice. Abbott: Oh. Right. Anyway, the book contains many identities similar to the ones given above. In all cases they prove combinatorial identities not by induction and not by algebraic manipulation, but by showing that two quantities solve the same problem. Even though it was written for a math audience the book will pro t anyone who has had a basic course in combinatorics, who is happy with proofs, and who wants to see some elegant proofs of unbelievable identities. Costello: Good, put that in the review. Abbott: I just did. Review of Types and Programming Languages Author: Benjamin C. Pierce The MIT Press, 2002, 623 pages Review written by Mats Kindahl3 Overview 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. The goals of this book are to cover all important core topics of and give useful examples of how to use and implement type systems for programming languages. The book is separated into several parts, each part with coverage of one important core topic. After the introduction of lambda-calculus and some basic formalism for describing languages, the book presents a simple type system for lambda-calculus. In the following parts, the type system...
End of preview. To view the full-text, please rent this article to continue.
/lp/association-for-computing-machinery/review-of-types-and-programming-languages-by-benjamin-c-pierce-the-mit-jGuSnwmWPD
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%
Review of Types and Programming Languages by Benjamin C. Pierce; The MIT Press, 2002
Kindahl, Mats
Follow ACM SIGACT News
, Volume 36 (1)
Association for Computing Machinery – Mar 1, 2005
More Info
More Like This Article
View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct
© 2012 DeepDyve, Inc. All rights reserved.
Terms of Service | Privacy Policy
