[Home] [Lectures] [Tutorials] [Assignments] [Course Material] [Staff] [Schedule]
The module has 13 lectures. The slides for the lecture will be available at latest the day before the lecture itself. You want to consider to print them to add notes during the lectures.
Lectures |
Date: Friday, 12:00 |
Duration: 2 hours |
Location: COM1/212 (SR3A) |
|
Lecture 1:
Introduction to Programming Concepts
|
||
|
Lecture 2:
Oz Syntax, Data structures
|
||
|
Lecture 3:
Statements, Kernel Language, Abstract Machine
|
||
|
Lecture 4:
Higher-Order Programming
|
||
|
Lecture 5:
Lambda Calculus: A Simplest Universal Programming Language
|
||
|
Lecture 6:
Tupled Recursion and Exceptions
|
||
|
Lecture
7: Types, ADT, Haskell, Components
|
||
|
Lecture
8: Declarative Concurrency
|
||
|
Lecture 9:
More on Concurrency
|
||
|
Lecture 10:
Stateful Programming
|
||
|
Lecture 12:
Relational and Constraint Programming |