Principles of Programming Languages

This course introduces the major programming paradigms, and the principles and techniques involved in design and implementation of modern programming languages. And also it introduces frameworks for specifying and reasoning about programming languages. Topics covered in the lectures include: Notions of syntax and semantics of programming languages; introduction to operational/natural semantics of functional and imperative languages. Data abstractions and control constructs; block-structure and scope, principles of abstraction, qualification and correspondence; parameter passing mechanisms; runtime structure and operating environment; practical and implementation issues in run-time systems and environment; abstracts machines; features of functional and imperative languages; the untyped and simply-typed Lambda calculus' type systems for programming languages including simple types and polymorphism; objects, classes and inheritance in object-oriented languages. (from nptel.ac.in)