Detailed exploration of the design space of programming languages, specifically the functional, imperative, logic and object-oriented programming languages.  brandman