![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Semantics of Data Types 1984: Sophia-Antipolis, France
- Gilles Kahn, David B. MacQueen, Gordon D. Plotkin:
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 - 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 G. 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
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.