Semantics of Data Types

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A kernel language for abstract data types and modules
3. Altmetric Badge
   Chapter 2 A semantics of multiple inheritance
4. Altmetric Badge
   Chapter 3 Understanding Russell a first attempt
5. Altmetric Badge
   Chapter 4 A basic Abstract Semantic Algebra
6. Altmetric Badge
   Chapter 5 Semantics of Data Types
7. Altmetric Badge
   Chapter 6 The semantics of second order polymorphic lambda calculus
8. Altmetric Badge
   Chapter 7 Polymorphism is not set-theoretic
9. Altmetric Badge
   Chapter 8 A theory of data type representation independence
10. Altmetric Badge
    Chapter 9 Abstract data types and their extensions within a constructive logic
11. Altmetric Badge
    Chapter 10 Semantics of Data Types
12. Altmetric Badge
    Chapter 11 Executable specification of static semantics
13. Altmetric Badge
    Chapter 12 Cartesian closed categories of enumerations for effective type structures
14. Altmetric Badge
    Chapter 13 Type inference and type containment
15. Altmetric Badge
    Chapter 14 F-semantics for intersection type discipline
16. Altmetric Badge
    Chapter 15 The typechecking of programs with implicit type structure
17. Altmetric Badge
    Chapter 16 Partial implementations of abstract data types: A dissenting view on errors
18. Altmetric Badge
    Chapter 17 Building specifications in an arbitrary institution
19. Altmetric Badge
    Chapter 18 A proof system for verifying composability of abstract implementations
20. Altmetric Badge
    Chapter 19 Towards a proof theory of parameterized specifications