Object-Oriented Programming A Unified Foundation

Authors:

ISBN: 978-1-4612-8670-7 (Print) 978-1-4612-4138-6 (Online)

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xviii

  2. Introduction

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-33

      Background and notation

    3. No Access

      Book Chapter

      Pages 35-76

      A quick overview

  3. Simple Typing

    1. Front Matter

      Pages 77-77

    2. No Access

      Book Chapter

      Pages 79-111

      Object-oriented programming

    3. No Access

      Book Chapter

      Pages 113-151

      The λ&-calculus

    4. No Access

      Book Chapter

      Pages 153-166

      Covariance and contravariance: conflict without a cause

    5. No Access

      Book Chapter

      Pages 167-176

      Strong Normalization

    6. No Access

      Book Chapter

      Pages 177-191

      Three variations on the theme

    7. No Access

      Book Chapter

      Pages 193-220

      Interpretation of object-oriented languages

    8. No Access

      Book Chapter

      Pages 221-233

      Imperative features and other widgets

    9. No Access

      Book Chapter

      Pages 235-258

      Semantics

  4. Second order

    1. Front Matter

      Pages 259-259

    2. No Access

      Book Chapter

      Pages 261-273

      Introduction to part III

    3. No Access

      Book Chapter

      Pages 275-311

      Second order overloading

    4. No Access

      Book Chapter

      Pages 313-322

      Second order overloading and object-oriented programming

    5. No Access

      Book Chapter

      Pages 323-327

      Conclusion

  5. Back Matter

    Pages 329-366