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