Functional Programming (326.054, 326.087)

Content

Introduction to functional programming; theoretical foundations; lambda-calculus; type systems; practical programming in OCaml; reasoning about functional programs.

Organization

Summer Semester 2023.

Number:	326.054, 326.087
Title:	Functional Programming
Lecturer:	Temur Kutsia
Time:	Wednesday, 16:15–18:00
Room:	~~MT 128.~~ S2 054
Language:	English
Mode:	In presence
First meeting:	March 8
Registration:	Via the KUSSS system.
Grading:	Based on the assignments and in-class tests/quizzes.

This course is listed in the KUSSS under two names:

326.054: Practical in Logic and Software Design. Functional programming (in the German version: Practical in Logic and Software Design. Funktionales Programmieren),
326.087: Special Topics. Functional Programming (in the German version: Special Topics. Funktionales Programmieren)

Assignments and Tests

Grading by assignments and in-class tests. Assignments will appear in the course Moodle page and are for individual work.

Course Materials

Please visit the course Moodle page.