Semantics of Data Types 1984: Sophia-Antipolis, France

Gilles Kahn, David B. MacQueen, Gordon D. Plotkin (Eds.): Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings. Lecture Notes in Computer Science 173 Springer 1984, ISBN 3-540-13346-1

@proceedings{DBLP:conf/sdt/1984,
  editor    = {Gilles Kahn and
               David B. MacQueen and
               Gordon D. Plotkin},
  title     = {Semantics of Data Types, International Symposium, Sophia-Antipolis,
               France, June 27-29, 1984, Proceedings},
  booktitle = {Semantics of Data Types},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {173},
  year      = {1984},
  isbn      = {3-540-13346-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Rod M. Burstall, Butler W. Lampson: A Kernel Language for Abstract Data Types and Modules. 1-50
Luca Cardelli: A Semantics of Multiple Inheritance. 51-67
James Hook: Understanding Russell- A First Attempt. 69-86
Peter D. Mosses: A Basic Abstract Semantic Algebra. 87-107
Glynn Winskel, Kim Guldstrand Larsen: Using Information Systems to Solve Recursive Domain Equations Effectively. 109-129
Kim B. Bruce, Albert R. Meyer: The Semantics of Second Order Polymorphic Lambda Calculus. 131-144
John C. Reynolds: Polymorphism is not Set-Theoretic. 145-156
Christopher T. Haynes: A Theory of Data Type Representation Independence. 157-175
Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi: Abstract Data Types and Their Extensions within a Constructive Logic. 177-195
Lawrence C. Paulson: Deriving Structural Induction in LCF. 197-214
Thierry Despeyroux: Executable Specification of Static Semantics. 215-233
Giuseppe Longo, Eugenio Moggi: Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). 235-255
John Mitchell: Type Inference and Type Containment. 257-277
Mariangiola Dezani-Ciancaglini, Ines Margaria: F-Semantics for Intersection Type Discipline. 279-300
Nancy McCracken: The Typechecking of Programs with Implicit Type Structure. 301-315
Samuel N. Kamin, Myla Archer: Partial Implementations of Abstract Data Types: A Dissenting view on Errors. 317-336
Donald Sannella, Andrzej Tarlecki: Building Specifications in an Arbritrary Institution. 337-356
Fernando Orejas: A Proof System for Verifying Composability of Abstract Implementations. 357-374
Peter Padawitz: Towards a Proof Theory of Parameterized Specifications. 375-391