Computer Science

Faculty of Engineering, LTH

Denna sida på svenska This page in English

EDAF40/EDAN40 Lecture Material

The material below is tentative and may change without notice. It gets updated a couple of hours before the actual lecture takes place, so links to past lectures should be this year's while future ones are last year's. In particular, the lecture notes will be updated and the topics may be reorganised.

Week Lectures Deadlines
1 19/3
L1: Introduction, code
L2: Language overview
2 26/3
L3: The standard prelude, code
L6: Programming environment, testing, debugging by Christian Söderberg
3 16/4
L4: Style, IO, Presentation of assignment 1
L5: Types, type classes, data structures, code
4 23/4
L7: Functors, Monads, code
L8: Evaluation, Memoisation, Presentation of assignment 2, FibMemoized.hs, MCS.hs

assignment 1 due 29/4
5 7/5
L9: Functional programming in industry, by Fredrik Olsen
L10: Reactive programming

assignment 2 due 13/5
6 15/5
XL1: Categories, lambda-calculus
XL2: Monadic computations, parsing, song.c, obfuscated.hs, Presentation of A3

assignment 3 due 20/5
7 21/5
XL3: Parallel Computations
XL4: Reasoning about programs
Concluding QandA session
  28/5 Written exam