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 20/3 L1: Introduction, code
2 27/3
L2: Language overview
L3: The standard prelude, code
L4: Style, IO, Presentation of assignment 1
3 3/4
L5: Types, type classes, data structures, code
L6: Programming environment, testing, debugging by Christian Söderberg
4 24/4
L7: Functors, Monads, code
L8: Evaluation, Memoisation, Presentation of assignment 2, FibMemoized.hs, MCS.hs

assignment 1 due 26/4
5 3/5 XL1: Categories, lambda-calculus
6 8/5
L9: Functional programming in industry, by Fredrik Olsen
XL2: Monadic computations, parsing, song.c, obfuscated.hs, Presentation of A3

assignment 2 due 14/5
7 17/5
XL3: Parallel Computations
XL4: Reasoning about programs

assignment 3 due 21/5
8 22/5 L10: Reactive programming, Concluding QandA session
  2/6 Written exam