Courses with significant overlap with this course:

Semester of last offering:

Date of approval: dd-mmm-yyyy

Prerequisites:  

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. 

Topics