Local cover image
Local cover image

Semantics of data types : International symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings

Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 173Publication details: Berlín : Springer, 1984Edition: 1ra. edDescription: vi, 391 p. ; 25 cmISBN:
  • 0387133461
Subject(s):
Contents:
A Kernel Language for Abstract Data Types and Modules / R. BURSTALL and B. LAMPSON -- A Semantics of Multiple Inheritance / L. CARDELLI -- Understanding Russell- A First Attempt / M. HOOK -- A Basic Abstract Semantic Algebra / P. MOSSES -- Using Information Systems to Solve R ecursive Domain Equations Effectively / G. WINSKEL and K.G. LARSEN -- The Semantics of Second Order Polymorphic Lambda Calculus / K.B. BRUCE and A.R. MEYER -- Polymorphism is not Set-Theoretic / J.C. REYNOLDS -- A Theory of Data Type Representation Independence / C.T. HAYNES -- Abstract Data Types and Their Extensions within a Constructive Logic / A. BERTONI, B. MAURI, P. MIGLIOLI, M. ORNAGHI -- Deriving Structural Induction in LCF / L. PAULSON -- Executable Specification of Static Semantics / Th. DESPEYROUX -- Cartesian Closed Categories of Enumerations for Effective Type Structures [Part I & II) / G. LONGO and E. MOGGI -- Type Inference and Type Containment / J. MITCHELL -- F-Semantics for Intersection Type Discipline / M. DEZANI-CIANCAGLINI and I. MARGARIA -- The TypeoheoKing of Programs with Implicit Type Structure / N. McCRACKEN -- Partial Implementations of Abstract Data Types : A Dissenting view on Errors / S. KAMIN and M. ARCHER -- Building Specifications in an Arbritrary Institution / D. SANNELLA and A. TARLECKI -- A Proof System for Verifying Composebility of Abstract Implementations / F. OREJAS -- Towards a Proof Theory of Parameterized Specifications / P. PADAWITZ
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro Biblioteca de la Facultad de Informática A.0.2 SDT84 (Browse shelf(Opens below)) Available DIF-04166

A Kernel Language for Abstract Data Types and Modules / R. BURSTALL and B. LAMPSON -- A Semantics of Multiple Inheritance / L. CARDELLI -- Understanding Russell- A First Attempt / M. HOOK -- A Basic Abstract Semantic Algebra / P. MOSSES -- Using Information Systems to Solve R ecursive Domain Equations Effectively / G. WINSKEL and K.G. LARSEN -- The Semantics of Second Order Polymorphic Lambda Calculus / K.B. BRUCE and A.R. MEYER -- Polymorphism is not Set-Theoretic / J.C. REYNOLDS -- A Theory of Data Type Representation Independence / C.T. HAYNES -- Abstract Data Types and Their Extensions within a Constructive Logic / A. BERTONI, B. MAURI, P. MIGLIOLI, M. ORNAGHI -- Deriving Structural Induction in LCF / L. PAULSON -- Executable Specification of Static Semantics / Th. DESPEYROUX -- Cartesian Closed Categories of Enumerations for Effective Type Structures [Part I & II) / G. LONGO and E. MOGGI -- Type Inference and Type Containment / J. MITCHELL -- F-Semantics for Intersection Type Discipline / M. DEZANI-CIANCAGLINI and I. MARGARIA -- The TypeoheoKing of Programs with Implicit Type Structure / N. McCRACKEN -- Partial Implementations of Abstract Data Types : A Dissenting view on Errors / S. KAMIN and M. ARCHER -- Building Specifications in an Arbritrary Institution / D. SANNELLA and A. TARLECKI -- A Proof System for Verifying Composebility of Abstract Implementations / F. OREJAS -- Towards a Proof Theory of Parameterized Specifications / P. PADAWITZ

Click on an image to view it in the image viewer

Local cover image