Publications
Search

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.