Semantics of Data Types 1984: Sophia-Antipolis, France

• 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 Arbitrary 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
  

Last update Fri May 24 19:47:32 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page