Funktionale Programmierung
| Semester: | Sommersemester 2012 |
| Veranstalter: | Prof. Giesl
|
| Bemerkungen: | Seite im CAMPUS
|
-
-
0) Einführung, Organisation
1) Haskell Syntax
- Fr, 13.04.2012, 10:00 Uhr
-
-
1.1.1) Haskell Syntax: Declarations
1.1.2) Haskell Syntax: Expressions
- Mo, 16.04.2012, 15:45 Uhr
-
-
1.1.2) Haskell Syntax: Expressions
- Mi, 18.04.2012, 11:45 Uhr
-
-
1.1.2) Haskell Syntax: Expressions
1.1.3) Haskell Syntax: Patterns
1.1.4) Haskell Syntax: Types
- Fr, 20.04.2012, 10:00 Uhr
-
-
1.1.4) Types, Unification, New Type Declarations (data), Type Classes, Ad-Hoc Polymorphism
- Fr, 27.04.2012, 10:00 Uhr
-
-
1.1.4) Type Classes
1.2) Programming Techniques: Higher Order Functions (map, filter, fold)
- Mo, 30.04.2012, 15:45 Uhr
-
-
1.3) Programming with Lazy Evaluation, Infinite Data Objects, Circular Data Objects, List Comprehensions
- Mi, 02.05.2012, 11:45 Uhr
-
-
1.4) Monads, IO
- Mo, 07.05.2012, 15:45 Uhr
-
-
2.1.1) Partially defined values
2.1.2) Monotonic and continuous functions
- Fr, 11.05.2012, 10:00 Uhr
-
-
2.1.2) Monotonic and continuous functions
- Mo, 14.05.2012, 15:45 Uhr
-
-
2.1.2) Monotonic and continuous functions
- Fr, 18.05.2012, 10:00 Uhr
-
-
2.1.3) Fixpoints
- Mo, 21.05.2012, 15:45 Uhr
-
-
2.2) Denotational Semantics of Haskell
2.2.1) Construction of Domains
- Fr, 25.05.2012, 10:00 Uhr
-
-
2.2.1) Construction of Domains
2.2.2) Semantics of simple Haskell-programs
- Mo, 04.06.2012, 15:45 Uhr
-
-
2.2.2) Semantics of Simple Haskell-programs
2.2.3) Semantics of Complex Haskell-programs
- Mi, 06.06.2012, 11:45 Uhr
-
-
2.2.3) Semantics of Complex Haskell-programs
- Mo, 11.06.2012, 15:45 Uhr
- We had some minor problems with our equipment. That's why the sound is not as good as usual.
-
-
3) The Lambda Calculus
3.1) Syntax of Lambda Calculus
3.2) Reduction Rules of the Lambda Calculus
- Fr, 15.06.2012, 10:00 Uhr
-
-
3.2) Reduction Rules of the Lambda Calculus
3.3) Reducing Haskell to the Lambda Calculus
- Mo, 18.06.2012, 15:45 Uhr
-
-
3.3) Reducing Haskell to the Lambda Calculus
- Mi, 20.06.2012, 11:45 Uhr
- Vorlesung statt Übung
We had some minor problems with our equipment. That's why the sound is not as good as usual.
-
-
3.4) Pure Lambda Calculus
- Fr, 22.06.2012, 10:00 Uhr
-
-
4) Type checking and inference
4.1) Type schemata and type assumptions
4.2) The type inference algorithm
- Mo, 02.07.2012, 15:45 Uhr
-
-
4.2) The type inference algorithm
- Fr, 06.07.2012, 10:00 Uhr