This talk is based on Philip Wadler's series of papers that deal with advanced topics in programming languages.
The videoParametrizing over type constructors makes it possible to write highly reusable libraries. Adriaan Moors shows design and implementation of it in Scala.
The articleMonad is a central abstraction in programming that unfortunately is not explicitly well known. Tony Morris gives a sensible introduction for the subject.
High level view of Smalltalk's design.
The articleScheme with inclusion of types to improve maintainability of programs.
The dissertationEfficient purely functional data structures are crucial for functional languages. Osaki presents general design techniques with amortazion and without it, and also gives many data structure implementations.
Jim Coplien talks about how OO should be more about roles. The talk is based on the work of MVC inventor Trygve Reenskaug.
The video on JAOO blogWhat's wrong with MVC based OO and what could be a better model.
The articleHenrik Huttunen