On Understanding Data Abstraction, Revisited
One of the themes of Barbara Liskov's Turing Award lectue ("CS History 101") was that nobody has invented a better programming concept than abstract data types. William Cook wrote a paper for OOPSLA '09 that looks at how well... [read full story]
|
RELATED
|
|
As a library writer, I
As a library writer, I have to ask, who is the you that you are referring to? That quote referred to 'you' the language user - either as a library writer or a library user. The major selling point is that client callers do not...
Same facts, different conclusion
While I don't disagree with any of the factual points of the paper, I disagree with the assessment that the OOP approach brings extra flexibility. OOP doesn't hide representation, it prescribes it: an object is a record of...
Historical note
In the 1970s, as work began on understanding data abstraction, Reynolds published a prophetic paper that identified the key differences between objects and abstract data types [52, 23], although I think he did not realize he...
smarter programmers are a
In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called “On understanding types, data abstraction, and polymorphism”. Their work kicked off a flood of research on semantics and type...
A lesson for practitioners?
I finished this paper with the feeling that there was a possibly subversive conclusion hidden in it (intended or not). On the surface, the fact that extant languages conflate the two pure extremes of ADTs and objects is shown...
Talk slides
In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called “On understanding types, data abstraction, and polymorphism”. Their work kicked off a flood of research on semantics and type...
Wrong link
In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called “On understanding types, data abstraction, and polymorphism”. Their work kicked off a flood of research on semantics and type...
That looks like a link to
In 1985 Luca Cardelli and Peter Wegner, my advisor, published an ACM Computing Surveys paper called “On understanding types, data abstraction, and polymorphism”. Their work kicked off a flood of research on semantics and type...
Existentials
Oleg, I'm confused. Which paper of ours are you referring to? Our ICFP'09 paper with Georg Neis ? If so, I should say that proving representation independence for ordinary existential-based ADTs was not a contribution of our...
ADT may be typed as existentials, but this isn't the only choice
Mitchell and Plotkin's ``Abstract Types Have Existential Type'' (TOPLAS, 1998) is indeed highly relevant. I'd like to quote from p2: The phrase "abstract data type" sometimes refers to a class of algebras (or perhaps an initial...
Related categories
International Editions
English - US | English - UK | Deutsch | Français | Español - España | Português - Portugal | Italiano | Čeština | Русский (Russian) | عربي (Arabic) | 中文（简）(Simplified Chinese) | Español - México | Português - Brasil | 한국어 (Korean) | English - India
