Programming Languages

Course Goals:  Successful course participants will:

• Master universal programming-language concepts (including datatypes, functions, continuations, threads,

macros, types, objects, and classes) such that they can recognize them in strange guises.

• Learn to evaluate the power, elegance, and definition of programming languages and their constructs

• Attain reasonable proficiency programming in a functional style

• Find relevant literature somewhat more approachable.

S.No	Topic	CSD (Presenter)	PDF	PPT Slides
1	Intro; Caml; functional programming	CSD	PDF	PPT
2	Functional programming, syntax,semantics via interpretation or translation	CSD	PDF	PPT
3	Semantics via translation, equivalence & properties, lambda introduction	CSD	PDF	PPT
4	Untyped lambda-calculus, inference rules, environments, ...	CSD	PDF	PPT
5	Continuations, types	CSD	PDF	PPT
6	Types, Subtyping	CSD	PDF	PPT
7	Coercions, Type Variables, Type Inference	CSD	PDF	PPT
8	Types Wrap-up; Object-Oriented Programming	CSD	PDF	PPT
9	Fancier OOP; Concurrency	CSD	PDF	PPT
10	Atomicity; Memory Management	CSD	PDF	PPT