| Format | Lecture course with lab sessions |
| Curriculum | BSc Informatica |
| Language | The course is taught in English. |
| Block | 1b (Oct 31 - Dec 23, 2011) |
| Status | Compulsory |
| ECTS | 3 credits |
| Objectives | To provide a thorough understanding of the concepts behind functional programming and practical literacy in a common functional programming language. |
| Contents | The course will teach both the theoretical foundations of functional programming and practical functional programming in one of today's most wide-spread functional languages. The former part will focus on the lambda-calculus and beta-reduction as the principle means of program execution. The latter part will introduce one concrete language as a practical application of theory and cover issues such as programming by recursive equations, pattern matching, type systems and algebraic data types. |
| Lecturer | Dr Clemens Grelck |
| Assistants | Roeland Douma |
| Merijn Verstraaten | |
| Lectures |
Tue, 13-15, G3.02 plus Wed, Nov 2, 9-11, A1.10 |
| Labs | Wed, 09-11, F2.04 (not Nov 2) |
| Exam |
Fri, Dec 16, 11-14, G2.10 You may take personal notes including your own solutions to assignments into the exam. |
| Resit | to be announced |
| Timetable | The latest timetable is available on Rooster. |
| Grading |
Assignments (50%), Exam (50%) You need a minimum grade of 6 in both assignments and exam to pass the course! |
| Assignments | The assignments will be made available on Blackboard. |
| Mailing List | The UvA mailing list funclang2011 serves as the primary medium of communication between lecturers and participants as well as among participants themselves. Subscription to the mailing list is controlled and restricted to participants of the course. Traffic on the mailing list is archived; access to the archives is restricted to participants. Please, subscribe here. |
| Background Material |
|
Dr. Clemens Grelck