सीएस350ए - प्रोग्रामिंग लैंग्वेज के सिद्धांत
Prerequisites:
3-0-0-9
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
Current Course Information
Instructor(s):
Number of sections:
Tutors for each section:
Schedule for Lectures:
Schedule for Tutorial:
Schedule for Labs: