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 PLT'ers understand their own vocabulary, in particular abstract data types and concepts that on the syntactical surface blend to all seem like ADTs.
The paper is On Understanding Data Abstractions, Revisited .
In 1985 Luca Cardelli...
Barbara Liskov Wins Turing Award
News flash: Barbara Liskov Wins Turing Award. The full citation: Barbara Liskov has led important developments in computing by creating and implementing programming languages, operating...
Data Representation Synthesis
I was just lucky enough to see Peter Hawkins present a particularly compelling synthesis language: data structure synthesis: We consider the problem of specifying combinations of data...
Traceable Data Types for Self-Adjusting Computation
This post is triggered by Jules asking, essentially, how could FRP support imperative structures? Part of the answer is about interface -- a command becomes an input stream of commands, which...
Post new comment