Abstract is missing.
- A Kernel Language for Abstract Data Types and ModulesRod M. Burstall, Butler W. Lampson. 1-50
- A Semantics of Multiple InheritanceLuca Cardelli. 51-67
- Understanding Russell- A First AttemptJames Hook. 69-86
- A Basic Abstract Semantic AlgebraPeter D. Mosses. 87-107
- Using Information Systems to Solve Recursive Domain Equations EffectivelyGlynn Winskel, Kim Guldstrand Larsen. 109-129
- The Semantics of Second Order Polymorphic Lambda CalculusKim B. Bruce, Albert R. Meyer. 131-144
- Polymorphism is not Set-TheoreticJohn C. Reynolds. 145-156
- A Theory of Data Type Representation IndependenceChristopher T. Haynes. 157-175
- Abstract Data Types and Their Extensions within a Constructive LogicAlberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi. 177-195
- Deriving Structural Induction in LCFLawrence C. Paulson. 197-214
- Executable Specification of Static SemanticsThierry Despeyroux. 215-233
- Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II)Giuseppe Longo, Eugenio Moggi. 235-255
- Type Inference and Type ContainmentJohn Mitchell. 257-277
- F-Semantics for Intersection Type DisciplineMariangiola Dezani-Ciancaglini, Ines Margaria. 279-300
- The Typechecking of Programs with Implicit Type StructureNancy McCracken. 301-315
- Partial Implementations of Abstract Data Types: A Dissenting view on ErrorsSamuel N. Kamin, Myla Archer. 317-336
- Building Specifications in an Arbritrary InstitutionDonald Sannella, Andrzej Tarlecki. 337-356
- A Proof System for Verifying Composability of Abstract ImplementationsFernando Orejas. 357-374
- Towards a Proof Theory of Parameterized SpecificationsPeter Padawitz. 375-391