London 2012

Working Group on Language Design
The first official meeting of IFIP TC2 WG2.16 was held in London Feb 27 - Mar 2 2012 at Imperial College, hosted by Susan Eisenbach. The general post-meeting consensus was that we succeeded in having a rich and interesting discussion, and that the format was an improvement over the inaugural meeting. Suggestions for further refinements are encouraged on the mailing list. See PlanningLondon2012 for the pre-meeting plans.

Themes and Memes

An emergent theme of discussion was the evaluation of programming language designs. We had wide-ranging perspectives including hard empiricism, mathematical elegance, and critical design theory. We started work on a joint manifesto: The Kensington Criteria.

Tijs van der Storm gave a talk on "language design smells" in which he proposed an initial taxonomy. Talk of such smells repeatedly arose in later discussions, particularly William Cook's "everything is an x" smell.

We are looking forward to continuing the conversation at Austin2012.

Participants

Name Talk down Slides
Jan-Willem Maessen Bulk Operations on Indexed Collections Maessen.pdf?
Magne Haveraaen Can I reason about the code?  
Stefan Hanenberg Controlled experiments for the empirical evaluation of programming language constructs: type systems as an example Hanenberg.pdf?
Robert Hirschfeld Design Research and Programming Hirschfeld.pdf?
Sean McDirmid Escape from the maze of twisty classes McDirmid.pdf?
Tom Van Cutsem Evolution in programming language design? VanCutsem.pdf?
Don Syme Information Rich Programming  
Daan Leijen Koka  
Tijs van der Storm Language Design Smells Storm.pdf?
William R. Cook Managed Data: Rolling You Own Data Structuring Mechanism  
Jonathan Aldrich Permission-Based Programming Aldrich.pdf?
Jonathan Edwards Problems of Application Programming Edwards.pdf?
Susan Eisenbach Shared Memory Concurrency: Lock Inference Eisenbach.pdf?
Roberto Ierusalimschy Small is Beautiful: the design of LUA Ierusalimschy.pdf?
Eelco Visser Spoofax language workbench (demonstration) Spoofax
James Noble State of Grace Noble.pdf?
Sophia Drossopoulou Trust the Clones; Zeno Drossopoulouclones.pdf? Drossopoulouzeno.pdf?
Erik Ernst Working with stack intervals rather than invocations, applied to data structure traversal  

-- JonathanEdwards - 05 Mar 2012

I Attachment sort Action Size Date Who Comment
Aldrich.pdf manage 405.8 K 05 Mar 2012 - 15:58 JonathanEdwards  
Drossopoulouclones.pdf manage 2381.8 K 05 Mar 2012 - 16:01 JonathanEdwards  
Drossopoulouzeno.pdf manage 1019.9 K 05 Mar 2012 - 16:03 JonathanEdwards  
Eisenbach.pdf manage 592.4 K 05 Mar 2012 - 16:03 JonathanEdwards  
Hanenberg.pdf manage 1270.8 K 05 Mar 2012 - 16:03 JonathanEdwards  
Ierusalimschy.pdf manage 72.2 K 05 Mar 2012 - 16:04 JonathanEdwards  
Maessen.pdf manage 192.2 K 05 Mar 2012 - 16:04 JonathanEdwards  
McDirmid.pdf manage 2082.4 K 05 Mar 2012 - 16:05 JonathanEdwards  
Noble.pdf manage 3926.4 K 05 Mar 2012 - 16:05 JonathanEdwards  
VanCutsem.pdf manage 1315.6 K 05 Mar 2012 - 16:05 JonathanEdwards  
Edwards.pdf manage 405.1 K 05 Mar 2012 - 16:35 JonathanEdwards  
Hirschfeld.pdf manage 6880.3 K 05 Mar 2012 - 16:40 JonathanEdwards  
Storm.pdf manage 2009.1 K 05 Mar 2012 - 23:51 JonathanEdwards