Fortgeschrittene funktionale Programmierung
LVA 185.210, VL 2.0, ECTS 3.0, 2009 SS

(zweistündige Vorlesung mit Laborübung; siehe auch TUWIS++/185.210)

 
 

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

Information on funding opportunities is available here.

 

Next Course Meetings

Slides of the Joint Course Pre-Meeting

Topics and Goals

The course is concerned with advanced techniques and applications of functional programming, which the participants shall learn to use and apply meaningfully. A perfect add-on this term...

Prerequisites

Basic knowledge of the functional programming style as imparted e.g. in the course LVA 185.161 Funktionale Programmierung is presumed.

Creditable for

The course on "Advanced Functional Programming" counts towards the following master programs:

Course Pre-Meeting and Registration

The pre-meeting for the course and the first lecture in the summer term 2009 take place on Thursday, 12 March 2009, from 4:15 p.m. to 5:45 p.m. in the lecture room on the ground floor of the building Argentinierstr. 8.

The course will be held as so-called block course. The number of participants will be limited. It is necessary to register for the course using the electronic course management system available here. Registration is possible until 20 March 2009. Additional information will be provided in the pre-meeting of the course on 12 March 2009.

Time and Place

The course is held in the block-fashion (i.e., not necessarily each week). Course meetings will usually be held on Thursday from 4:15 p.m. to 5:45 p.m. in the lecture room located on the ground floor of the building at Argentinierstr. 8, 1040 Vienna. To compensate e.g. for public holidays, course meetings will occasionally be also held on Friday from 4:15 p.m. to 5:45 p.m in the lecture hall EI 3a located in the building at Gußhausstr. 25-29, 1040 Vienna. The fixed date of each course meeting will be announced on the top of this webpage.

Course Materials

In the course of the lecture slides of the lectures and assignments will be available on this webpage.

Lecture
 
Slides from
Topic Slides Hints and remarks
18.06.2009
Lecture 8
Type Inference,
Parallelism,
The Story of Haskell
.pdf
.pdf.gz
Final lecture.
28.05.2009
Lecture 7
Pretty Printer .pdf
.pdf.gz
None.
07.05.2009
Lecture 6
Parsing .pdf
.pdf.gz
None.
24.04.2009
Lecture 5
Logical
programming
functionally
.pdf
.pdf.gz
 
Opportunity!
HaL4 : Haskell - Tutorial + Workshop + Party
University of Halle-Wittenberg, Germany, 12 June 2009. (Registrations on or before 31 May 2009. Registration fee: 15 EUR (including Party)).
23.04.2009
Lecture 4
Correctness issues,
mathematical background
.pdf
.pdf.gz
None.
27.03.2009
Lecture 3
Programming with
Streams
.pdf
.pdf.gz
Invitation to a Talk by Prof. Robert Glück on Is There a Fourth Futamura Projection?, Wed, 1 April 2009, 5 p.m.
19.03.2009
Lecture 2
Testing of programs
(specification-
based, tool-
supported,
automatically
.pdf
.pdf.gz
None.
12.03.2009
Lecture 1
"Why Functional Programming Matters":
A "classical" position
statement these days.
.pdf
.pdf.gz
 
None.
12.03.2009
Pre-Meeting
Motivation and
organizational issues
pdf
pdf.gz
 
None.
04.03.2009
Joint Courses Pre-Meeting
Motivation pdf pdf.gz  
None.

Assignment
 
Issued on
Due date/2nd due date Available formats Hints and remarks
07.05.2009 28.05.2009 (12:00) /
04.06.2009 (20:00)
Assignment 7.pdf
Assignment 7.pdf.gz
None.
07.05.2009 21.05.2009 (12:00) /
28.05.2009 (20:00)
Assignment 6.pdf
Assignment 6.pdf.gz
None.
24.04.2009 14.05.2009 (12:00) /
21.05.2009 (12:00)
Assignment 5.pdf
Assignment 5.pdf.gz
None.
24.04.2009 07.05.2009 (12:00) /
14.05.2009 (12:00)
Assignment 4.pdf
Assignment 4.pdf.gz
None.
29.03.2009 23.04.2009 (12:00) /
30.04.2009 (12:00)
Assignment 3.pdf
Assignment 3.pdf.gz
Example 3: m,n,p > 0 added as an assumption on m,n,p. (16 Apr 2009)
19.03.2009 02.04.2009 (12:00) /
23.04.2009 (12:00)
Assignment 2.pdf
Assignment 2.pdf.gz
None.
12.03.2009 02.04.2009 (12:00)
(was 26.03.2009) /
23.04.2009 (12:00) /
(was 03.04.2009)
Assignment 1.pdf
Assignment 1.pdf.gz
None.

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 late in June and early in July 2009.

Lecturer

Jens Knoop, Tel.: 58801-18510, E-mail: knoop@complang.tuwien.ac.at
Sprechstunde
wiederholte LVAs:
Fortg. fkt. Programmierung
Analyse u. Verifikation
Seminar aus Prog.sprachen
Grundl. meth. Arbeitens
Sonstige
Schnellzugriff:
TUWIS++
voriges Semester
voriges Jahr
top | HTML 4.01 | last update: 2014-05-04 (Knoop)