Principles and Paradigms. Focuses on designing, implementation, properties and limitations of new and existing programming languages.