luca cardelli

50 years of Advanced Programming – an Anniversary Seminar on A...

Lambda the Ultimate - Programming Languages Weblog  Wed, 01/06/2010 - 21:52

The influential Algol 60 report was created 50 years ago after a meeting in Paris held from 1 to 16 January, 1960.

A seminar marking the 50th anniversary of Algol 60 will be held next week:

Tags:

 

On Understanding Data Abstractions, Revisited

Lambda the Ultimate - Programming Languages Weblog  Mon, 11/02/2009 - 09:48

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.

Tags: