Contact The MIT Press Information on how to order from The MIT Press Access your saved shopping cart, e-mail list subscriptions, order history, address book, and other info in the Your Profile area MIT Press Home Page


August 2008
8 x 10, 1200 pp., 411 illus.
$75.00/£43.95 (CLOTH)
Short

ISBN-10:
0-262-20175-5
ISBN-13:
978-0-262-20175-9

Related Links
Find this book in a library
Request Exam/Desk Copy
< BACK
Design Concepts in Programming Languages
Franklyn A. Turbak and David K. Gifford
With Mark A. Sheldon


Complete Contents
Download Chapter as PDF Sample Chapter - Download PDF (124 KB)
vii
Preface
Download Chapter as PDF Sample Chapter - Download PDF (103 KB)
xix
Acknowledgmentsxxi
IFoundations1
1Introduction
Download Chapter as PDF Sample Chapter - Download PDF (281 KB)
3
2Syntax19
3Operational Semantics45
4Denotational Semantics113
5Fixed Points163
IIDynamic Semantics205
6FL: A Functional Language207
7Naming307
8State383
9Control443
10Data539
IIIStatic Semantics615
11Simple Types617
12Polymorphism and Higher-order Types701
13Type Reconstruction769
14Abstract Types839
15Modules889
16Effects Describe Program Behavior943
IVPragmatics1003
17Compilation1005
18Garbage Collection1119
Appendix A
A Metalanguage
1147
Appendix B
Our Pedagogical Languages
1197
References1199
Index
Download Chapter as PDF Sample Chapter - Download PDF (655 KB)
1227
 
Join an E-mail Alert List


 
 
TECHNOLOGY PARTNER: Azility, Inc. TERMS OF USE | PRIVACY POLICY | COPYRIGHT © 2009