SIGN IN
SIGN UP
On understanding types, data abstraction, and polymorphism
Full Text:
PDF
Get this Article
Authors:
Luca Cardelli
AT&T Bell Laboratories, Murray Hill, NJ
Peter Wegner
Brown Univ., Providence, RI
Published in:
· Journal
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Surveys Homepage
archive
Volume 17 Issue 4, Dec. 1985
Pages 471-523
ACM
New York, NY
, USA
table of contents
doi>
10.1145/6041.6042
1985 Article
Bibliometrics
· Citation Count: 420
· Downloads (cumulative): 5,384
· Downloads (12 Months): 231
· Downloads (6 Weeks): 16
Tools and Resources
Buy this Article
Recommend the ACM DL
to your organization
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Author Tags
abstract data types
data types and structures
e-commerce infrastructure
lambda calculus
languages
pattern matching
problems, reductions and completeness
theory
type structures
Contact Us
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by