Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(37)
Andrzej Tarlecki
2
Donald Sannella
2
Albert R. Meyer
2
Kim Guldstrand Larsen
1
Christopher T. Haynes
1
David Macqueen
1
Thierry Coquand
1
John C. Reynolds
1
Mariangiola Dezani-ciancaglini
1
Luca Cardeui
1
Keywords
(31)
Subscribe
Academic
Conferences
Semantics of Data Types
Semantics of Data Types
Publications: 25
|
Citation Count: 798 (Self-Citation: 4)
|
H-Index: 12Year Range: 1984-1984
Interests:
Programming Languages
Homepage
Add CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(25)
A semantics of multiple inheritance
(
Citations: 218
)
L. Cazdelli
Conference:
Semantics of Data Types
, 1984
The Typechecking of Programs with Implicit Type Structure
(
Citations: 47
)
Nancy Mccracken
Conference:
Semantics of Data Types
, pp. 301-315, 1984
A Kernel Language for Abstract Data Types and Modules
(
Citations: 78
)
Rod M. Burstall
,
Butler W. Lampson
Conference:
Semantics of Data Types
, pp. 1-50, 1984
Polymorphism is not Set-Theoretic
(
Citations: 91
)
John C. Reynolds
Conference:
Semantics of Data Types
, pp. 145-156, 1984
A semantics of multiple inheritance
(
Citations: 67
)
Luca Cardeui
Conference:
Semantics of Data Types
, 1984