Tijs van der Storm discusses object algebras as a solution to the expression problem – the inability to extend functional programming languages.
Giovanni Asproni suggests that teams should not blindly embrace a methodology but rather create their own suiting their specific needs by using an approach based on patterns and pattern languages.
Philip Wadler presents a practical theory of language-integrated query based on quotation and normalization of quoted terms and a theorem guaranteeing that a host query generates a single SQL query.
The authors introduce a new language paradigm meant to enhance OOP with multi-dimensional context, providing details on context-based dispatch, and showing a glimpse of their early prototype.
Crista Lopes writes a program in multiple styles -monolithic/OOP/continuations/relational/Pub-Sub/Monads/AOP/Map-reduce- showing the value of using more than a style in large scale systems.
Alan Claypool discusses a methodology meant to bring coherence to an organization based on a strategic vision and clear focus on core values, over-communication and up-down accountability.
Torbjörn Gyllebring discusses the importance of organizational and personal mindset, and introduces the Rightshifting model which is meant to bring organizational effectiveness.
David Nolen keynotes on how developers learn as seen in a number of diverse examples drawn from objected oriented user interface programming to constraint logic programming.
Creighton Kirkendall discusses how polymorphism is implemented in Clojure, Ocaml, Haskell and Scala.
Dave Snowden discusses managing exaptation, addressing the use of discovery networks, modularity of needs and capabilities, distributed cognition and Cynefin.
Gerald Sussman explains how programming can help understand Analytical Mechanics, Differential Geometry, and General Relativity. While a work of art, a well-crafted program is an expression of an idea
Giff Constable shares 4 tactics for thinking holistically about an idea and clearly identifying, prioritizing and tackling assumptions.