| Format | Lecture course with lab sessions |
| Curriculum | BSc Informatica |
| Language | The course is taught in English. |
| Block | 2a (Jan 31 - Mar 25, 2010) |
| 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 |
| Assistant | Raphael Poss |
| Lectures | Tue, 13-15, G2.13 |
| Labs | Wed, 09-12, G0.18 |
| Exam |
Thu, March 24, 13-16, G3.02 You may take personal notes including your own solutions to assignments into the exam. |
| Resit | Thu, July 07, 9-12, A1.08 |
| 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 funcprog2011 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