The SCEAS System
Navigation Menu

Conferences in DBLP

Semantics of Data Types (sdt)
1984 (conf/sdt/1984)

  1. Rod M. Burstall, Butler W. Lampson
    A Kernel Language for Abstract Data Types and Modules. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:1-50 [Conf]
  2. Luca Cardelli
    A Semantics of Multiple Inheritance. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:51-67 [Conf]
  3. James Hook
    Understanding Russell- A First Attempt. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:69-86 [Conf]
  4. Peter D. Mosses
    A Basic Abstract Semantic Algebra. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:87-107 [Conf]
  5. Glynn Winskel, Kim Guldstrand Larsen
    Using Information Systems to Solve Recursive Domain Equations Effectively. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:109-129 [Conf]
  6. Kim B. Bruce, Albert R. Meyer
    The Semantics of Second Order Polymorphic Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:131-144 [Conf]
  7. John C. Reynolds
    Polymorphism is not Set-Theoretic. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:145-156 [Conf]
  8. Christopher T. Haynes
    A Theory of Data Type Representation Independence. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:157-175 [Conf]
  9. Alberto Bertoni, Giancarlo Mauri, Pierangelo Miglioli, Mario Ornaghi
    Abstract Data Types and Their Extensions within a Constructive Logic. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:177-195 [Conf]
  10. Lawrence C. Paulson
    Deriving Structural Induction in LCF. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:197-214 [Conf]
  11. Thierry Despeyroux
    Executable Specification of Static Semantics. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:215-233 [Conf]
  12. Giuseppe Longo, Eugenio Moggi
    Cartesian Closed Categories of Enumerations for Effective Type Structures (Part I & II). [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:235-255 [Conf]
  13. John Mitchell
    Type Inference and Type Containment. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:257-277 [Conf]
  14. Mariangiola Dezani-Ciancaglini, Ines Margaria
    F-Semantics for Intersection Type Discipline. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:279-300 [Conf]
  15. Nancy McCracken
    The Typechecking of Programs with Implicit Type Structure. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:301-315 [Conf]
  16. Samuel N. Kamin, Myla Archer
    Partial Implementations of Abstract Data Types: A Dissenting view on Errors. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:317-336 [Conf]
  17. Donald Sannella, Andrzej Tarlecki
    Building Specifications in an Arbritrary Institution. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:337-356 [Conf]
  18. Fernando Orejas
    A Proof System for Verifying Composability of Abstract Implementations. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:357-374 [Conf]
  19. Peter Padawitz
    Towards a Proof Theory of Parameterized Specifications. [Citation Graph (0, 0)][DBLP]
    Semantics of Data Types, 1984, pp:375-391 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002