search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Semantics of Data Types

Keyphrases

Publications

1984

Peter D. Mosses
A Basic Abstract Semantic Algebra. Semantics of Data Types (1984)
John C. Reynolds
Polymorphism is not Set-Theoretic. Semantics of Data Types (1984)
Rod M. Burstall, Butler W. Lampson
A Kernel Language for Abstract Data Types and Modules. Semantics of Data Types (1984)
Peter Padawitz
Towards a Proof Theory of Parameterized Specifications. Semantics of Data Types (1984)
Christopher T. Haynes
A Theory of Data Type Representation Independence. Semantics of Data Types (1984)
Luca Cardelli
A Semantics of Multiple Inheritance. Semantics of Data Types (1984)
Mariangiola Dezani-Ciancaglini, Ines Margaria
F-Semantics for Intersection Type Discipline. Semantics of Data Types (1984)
Kim B. Bruce, Albert R. Meyer
The Semantics of Second Order Polymorphic Lambda Calculus. Semantics of Data Types (1984)
Giuseppe Longo, Eugenio Moggi
Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). Semantics of Data Types (1984)
Glynn Winskel, Kim Guldstrand Larsen
Using Information Systems to Solve Recursive Domain Equations Effectively. Semantics of Data Types (1984)
John Mitchell
Type Inference and Type Containment. Semantics of Data Types (1984)
Nancy McCracken
The Typechecking of Programs with Implicit Type Structure. Semantics of Data Types (1984)
Lawrence C. Paulson
Deriving Structural Induction in LCF. Semantics of Data Types (1984)
Fernando Orejas
A Proof System for Verifying Composability of Abstract Implementations. Semantics of Data Types (1984)
Donald Sannella, Andrzej Tarlecki
Building Specifications in an Arbitrary Institution. Semantics of Data Types (1984)
Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi
Abstract Data Types and Their Extensions within a Constructive Logic. Semantics of Data Types (1984)
Thierry Despeyroux
Executable Specification of Static Semantics. Semantics of Data Types (1984)
Samuel N. Kamin, Myla Archer
Partial Implementations of Abstract Data Types: A Dissenting view on Errors. Semantics of Data Types (1984)
James G. Hook
Understanding Russell- A First Attempt. Semantics of Data Types (1984)

volume 173, 1984

Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings Semantics of Data Types 173 (1984)