CS350A - Principles Of Programming Langauges

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.