RISC JKU

Functional Programming



Content: Introduction to functional programming; theoretical foundations; lambda-calculus; type systems; practical programming in OCaml.

Organization

Summer Semester 2020.

Number:326.054, 326.087
Title:Functional Programming
Lecturer:Temur Kutsia
Time:Wednesday, 16:15–18:00
Room:S2 053
Language:English
First meeting:March 4
Registration:Via the KUSSS system.
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
Material will appear in the course Moodle page.