Fortgeschrittene funktionale Programmierung
LVA 185.A05, VU 2.0, ECTS 3.0, 2016 S

(zweistŁndige Vorlesung mit Übung; siehe auch TISS/185.A05)


Are you interested in studying abroad and getting funding for this?

Information on funding opportunities is available here.


Course Meetings

Course Pre-Meeting

A specific pre-meeting for the course takes place on Thursday, 3 March 2016, 4 p.m., in the lecture room Seminarraum, Argentinierstraße 8.


The electronic course management system for registration is open until 11 March 2016.

Subject and Aim

The course is concerned with advanced concepts and principles of functional programming and their applications, which the participants shall learn and conceive in depth and to use and apply competently and adequately in known as well as in new application scenarios. The lecture part of the course stretches from functional programming principles to quality assurance, advanced languages concepts, and applications. Regularly assigned exercises of the tutorial part of the course give an hands-on experience of applying the concepts and principles to problems of suitable kind, size and complexity to deepen their understanding in theory and practice.

Related Course:

A perfect add-on this term is to attend also the complementary course on:

Previous Knowledge

Basic knowledge of the functional programming style as imparted e.g. in the course LVA 185.A03 Funktionale Programmierung is mandatory.

Examination and Final Grade

The final grade is composed of the grades of the weekly assignments (50%) and the grade of the final oral examination (50%). The final oral examinations will be by appointment. Please make an appointment by e-mail or phone.

Course Materials

Documents for the lecture and tutorial part of the course will be provided on time.

Hints and remarks
Lecture Notes Chap. 1 thru Chap. 18, Bibliography, Appendix pdf
Latest update: 06/23/2016.
organizational issues
Latest update: 03/01/2016.


Due date/2nd due date
Hints and remarks
Thu, 23.06.2016 Zweitabgaben bislang ausgestandener Abgaben bis zum 15.07.2016, 12:00 Uhr, möglich.
Tue, 24.05.2016 Assignment 9
Keine Abgabe; freies Üben.
Tue, 17.05.2016 Wed, 01.06.2016 (12:00) /
Wed, 08.06.2016 (12:00)
Assignment 8
Submission period two weeks; final assignment.
Thu, 28.04.2016 Wed, 11.05.2016 (12:00) /
Wed, 18.05.2016 (12:00)
Assignment 7
Wed, 27.04.2016 Wed, 04.05.2016 (12:00) /
Wed, 11.05.2016 (12:00)
Assignment 6
Wed, 20.04.2016 Wed, 27.04.2016 (12:00) /
Wed, 04.05.2016 (12:00)
Assignment 5
Fri, 01.04.2016 Wed, 20.04.2016 (12:00) /
Wed, 27.04.2016 (12:00)
Assignment 4
Fri, 01.04.2016 Wed, 13.04.2016 (12:00) /
Wed, 20.04.2016 (12:00)
Assignment 3
Wed, 16.03.2016 Wed, 06.04.2016 (12:00) /
Wed, 13.04.2016 (12:00)
Assignment 2 The head element of the stream ddps is 3, not 2 since the binary representation of 2 contains one 1, which is not a prime number of 1s (March 18, 2016).
The value of the expression ddps!!20 is 31, not 28 (March 21, 2016).
Wed, 09.03.2016 Wed, 16.03.2016 (12:00) /
Wed, 06.04.2016 (12:00)
Assignment 1 Submitting assignments: home directory of your group account.


Jens Knoop, Tel.: 58801-18510, E-mail:
wiederholte LVAs:
Fortg. fkt. Programmierung
Analyse u. Verifikation
voriges Semester
voriges Jahr
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-07-09 (Knoop)