Principles Of Programming Langauges





Courses with significant overlap with this course:

Semester of last offering:

Date of approval: dd-mmm-yyyy


Course Contents

Brief history of development of programming languages, Introduction imperative programming, functional programming, logic programming and object oriented programming, Values and types, Notion of variables, Lifetime of variables local, global and heap variables, Bindings and environments, bindables, scope block structure, static and dynamic scoping, Abstraction procedural and function abstractions, Type systems monomorphic type systems. Introduction to polymorphism, Types of polymorphism overloading, parametric polymorphism, polymorphic types, Type checking and type inference. Inference rules for monomorphic types, introduction to polymorphic type inference, Functional programming, Logic Programming, Object oriented programming. 


Number of sections:

Tutors for each section:

Schedule for Lectures:

Schedule for Tutorial:

Schedule for Labs:



Birds at IIT Kanpur
Information for School Children
IITK Radio
Counseling Service