Lecture: Monday 10-12, Dan David 003
Recitation: Wednesday 16-17, 17-18, Dan David 110
Instructor: Mooly Sagiv
TA: Oded Padon (odedp@mail.tau.ac.il)
This is a basic which covers some of the main programming languages and also sone 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. Applications such as domain specific programming languages. The course is inspired by the programming language course in Stanford university
Prerequisites: Computer Models and Software Project.
The grade of the course will be based on 50% homework assignments, and 50% exam.
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