Functional Programming

bachelor program

VO2 + PS1  WS 2016/2017  703024 + 703025


The course provides an introduction to functional programming, covering both, practical examples using OCaml (a functional language) and theoretical background.

Lecture notes are available online (only from UIBK network) and printed versions can be bought from the Studia (from Tuesday).


week date topics slides sources exercises history
1 07.10. historical overview, OCaml introduction, first steps pdf no PS txt
2 14.10. lists, polymorphism, higher-order functions pdf pdf txt
3 21.10. modules, strings pdf tgz pdf (solution) txt
4 28.10. user-defined types, trees pdf tgz pdf (solution) txt
5 04.11. introduction to lambda calculus pdf pdf (solution) txt
6 11.11. lambda calculus, evaluation strategies pdf pdf txt
7 18.11. induction, reasoning about functional programs pdf pdf (solution)
8 25.11. functional programming in Isabelle/HOL pdf tgz pdf
9 02.12. efficiency, tail recursion pdf pdf (solution) txt
10 09.12. types, type checking, type inference pdf pdf
11 16.12. implementing type inference pdf tgz mid term (extra) txt
12 13.01. lazyness pdf tgz pdf (solution) txt
13 20.01. combinator parsing, monads pdf tgz pdf
14 27.01. (no lecture) pdf
- 03.02. first exam, HS-D, 8:00
- 09.03. second exam, HS-D, 8:00
- 18.09. third exam, HS 10, 12:00
Registration for the exams is mandatory, 5-2 weeks before the exam!


Amongst other sources the course incorporates material from the following books: