Teacher: Sebastian Mödersheim.
Textbook: Functional Programming using F#, Michael R. Hansen and Hans Rischel, Cambridge University Press, 2013. (Abbreviated HR.)
| Week | Date | Topic | Read |
|---|---|---|---|
| 36 | 4. Sept. |
Course introduction Intro. to functional programming and F# Lists (brief introduction) | HR 1, HR 2.1-2.6, HR 4.1-4.3 |
| 37 | 11. Sept. | Functions, Types, and Lists |
HR 2, HR 3.1-3.3, 3.5, 3.6 HR 4.1 - 4.4 |
| 38 | 18. Sept. | Structuring and Typing | HR 3.4-3.7, HR 4 |
| 39 | 25. Sept. |
Algebraic Data Types
Higher-order list functions |
HR 3.8-3.11, HR 5.1 |
| 40 | 2. Oct. | Lambda Calculus and all that | Short overview paper |
| 41 | 9. Oct. |
Collections: Sets and Maps
|
HR 5.2-5.3 |
| 42 | Autumn vacation | ||
| 43 | 23. Oct. | Finite trees (I) | HR 6 |
| 44 | 30. Oct. |
Finite trees (II) |
HR 6 |
| 45 | 6. Nov. |
Modules Type inference |
HR 7 |
| 46 | 13. Nov. | Tail recursion | HR 9 |
| 47 | 20. Nov. |
Verification |
|
| 48 | 27. Nov. |
Sequences |
HR 11 |
| 49 | 4. Dec. | Lab day - reviewing old exams and soltions |
Last update Sebastian Mödersheim, 31. Aug. 2026