Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984
DBLP:	db/conf/sdt/sdt1984.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 19  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi. Abstract Data Types and Their Extensions within a Constructive Logic.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper Kim B. Bruce, Albert R. Meyer. The Semantics of Second Order Polymorphic Lambda Calculus.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper Rod M. Burstall, Butler W. Lampson. A Kernel Language for Abstract Data Types and Modules.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper Luca Cardelli. A Semantics of Multiple Inheritance.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper Thierry Despeyroux. Executable Specification of Static Semantics.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper Mariangiola Dezani-Ciancaglini, Ines Margaria. F-Semantics for Intersection Type Discipline.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper Christopher T. Haynes. A Theory of Data Type Representation Independence.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper James Hook. Understanding Russell- A First Attempt.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper Samuel N. Kamin, Myla Archer. Partial Implementations of Abstract Data Types: A Dissenting view on Errors.	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984
	Conference paper Giuseppe Longo, Eugenio Moggi. Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I II).	Semantics of Data Types, International Symposium, Sophia-Antipolis, France, June 27-29, 1984, Proceedings 1984	(0)	1984

Show item 1 to 10 of 19  

Your query returned 19 matches in the database.