Advanced Topics in Programming Languages

Tuesday 09-12, Orenstein 110
Instructor: Mooly Sagiv TA: Shachar Itzhaky

This is an advanced course which covers many of the fundamental areas in the programming languages design and implementations. The topics include: operational and denotational program semantics, programming concepts such as higher order functions, lazy and eager evaluation, normal forms such as continuation passing style, polymorphism, type theory, dependent types, and monads. Techniques such as program verification, abstract interpretation, and partial evaluation. Applications such as domain specific programming languages. The course is inspired by the programming language course in Stanford university

Prerequisites: Compilation or programming languages course.

The grade of the course will be based on 20% course notes, 30% homework assignments, and 50% exam. There are two options for exam: home exam and class exam which is easier. The date for both is 26/6

Reading Material

Concepts in Programming Languages electronically available from the library 2183817
Introduction to Haskel from Stanford
Types and Programming Languages
Foundations for Programming Languages

Tentative Schedule

Homework Assignments

Computer Forum

Please register into course forum

Important Message

If your POWERPOINT does not show certain mathematical characters use fonts in a zip file, by clicking here. Make sure to extract
them to the appropriate directory,

Alternatively, you can extract them anywhere, and install them via the control panel