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
- Thursday, June 18, 2009, 4.15 p.m. - 5.45 p.m.,
lecture room on the ground floor of the building
Argentinierstr. 8. (Final lecture)
- 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)).
- Invitation!
Friday, June 5, 2009: E185.1-Colloquium
on
"Robuste Komponentensysteme durch Protokollprüfung" by
Prof. Zimmermann, University of Halle-Wittenberg, Germany.
- Invitation!
Thursday, June 4, 2009: No computer science lectures
this afternoon in favour of
epilog.
- Thursday, May 28, 2009, 4.15 p.m. - 5.45 p.m.,
lecture room on the ground floor of the building Argentinierstr. 8.
- Thursday, May 7, 2009, 4.15 p.m. - 5.45 p.m.,
lecture room on the ground floor of the building
Argentinierstr. 8.
- Friday, April 24, 2009, 4.15 p.m. - 5.45 p.m.,
lecture hall EI 3a, 2nd floor, Gußhausstr. 25-29.
- Thursday, April 23, 2009, 4.15 p.m. - 5.45 p.m.,
lecture room on the ground floor of the building Argentinierstr. 8.
- Friday, March 27, 2009, 4.15 p.m. - 5.45 p.m.,
lecture hall EI 3a, 2nd floor, Gußhausstr. 25-29.
- Thursday, March 19, 2009, 4.15 p.m. - 5.45 p.m.,
lecture room on the ground floor of the building Argentinierstr. 8.
- Thursday, March 12, 2009, 4.15 p.m. - 5.45 p.m.,
lecture room on the ground floor of the building Argentinierstr. 8.
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:
- As elective course (Wahlfach) towards the Master program
066 937 "Software Engineering/Internet Computing" (3.0 ECTS)
- As elective course (Wahlfach) towards the Master program 066 931
"Computational Intelligence" (3.0 ECTS)
- As examination course (Prüfungsfach) towards the
Erasmus-Mundus Master program 066 011 "DDP Computational Logic
(Erasmus-Mundus)" (3.0 ECTS)
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.
|
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