Draft 5 of my forthcoming book for MIT press is now (finally) complete. I'm having a copy made to put in the theory lab if you'd like to have a look. After writing the index, incorporating more corrections, and adding a few more exercises, the final version will be delivered to the press in mid-June. The books themselves are expected to be in bookstores by September. I need some help with technical review of Chapters 9 and 11---the new chapters on polymorphism. If you have an interest in polymorphism and a keen eye for detail, then I would very much appreciate your assistance on proof-reading. Send me email if you are willing to lend a hand. Here is a copy of the table of contents: SEMANTICS OF PROGRAMMING LANGUAGES Structures and Techniques List of Tables List of Figures Series Foreword Preface 1. Introduction 1 1.1 Semantics 1.2 Semantics of Programming Languages 1.3 Notes 2. The Simply-Typed Lambda-Calculus 31 2.1 Syntax of Lambda-Terms 2.2 Rules 2.3 Models 2.4 Notes 3. Categorical Models of Simple Types 63 3.1 Products and Cartesian Closure 3.2 Lambda-Calculus with Constants and Products 3.3 The Use of Category Theory 3.4 Notes 4. Recursive Definitions of Functions 95 4.1 A Programming Language for Computable Functions 4.2 Fixed Points in Complete Partial Orders 4.3 Fixed-Point Semantics of PCF 4.4 Bounded Recursion 4.5 Notes 5. Two Theories of Finite Approximation 141 5.1 Bc-domains 5.2 Stable functions and dI-domains 5.3 Equivalences between categories. 5.4 Notes 6. Relating Interpretations 169 6.1 Full Abstraction 6.2 Extensions of Adequacy Results 6.3 Products and Sums 6.4 Notes 7. Types and Evaluation 207 7.1 Expressiveness 7.2 Security 7.3 Reference types 7.4 Recursive Types 7.5 ML Polymorphism and Type Inference 7.6 Notes 8. Universal Domains 245 8.1 Untyped lambda-Calculus 8.2 Domain Equations 8.3 Notes 9. Subtype Polymorphism 273 9.1 Subtypes as Subsets 9.2 Subsumption as Implicit Coercion 9.3 Notes 10. Domain Theory 303 10.1 Fixed Points of Functors 10.2 Bifinite domains 10.3 Adjunctions and Powerdomains 10.5 Notes 11. Parametric Polymorphism 343 11.1 Calculi for Expressing Parametric Polymorphism 11.2 Indexed Families of Domains 11.3 Notes List of Notations 377 Bibliography 381 Subject Index 391