Computer Science

Faculty of Engineering, LTH

Denna sida på svenska This page in English

EDAF95/EDAN40 Lecture Material

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

Week Lectures Erik Meijer's videos
1 23/3
L1: Introduction, code
L1.5: FP for Object Oriented
L2: Language overview, code
L1_1.mp4, L1_2.mp4, chat_L1.txt
L1.5.mp4, chat_L1.5.txt
L2.mp4, chat_L2.txt

Ch 2, Ch 4, Ch 5, Ch 6, Ch 7
2 30/3
L3: The standard prelude
L4: Types, type classes, data structures, code,
L3.mp4, chat_L3.txt
L4.mp4, chat_L4.txt

Ch 3, Ch 10
3 6/4
L5: Presentation of assignment 1,
L6: Functors, Monads, code
L5.mp4, chat_L5.txt
L6.mp4, chat_L6.txt

Ch 9
4 27/4
L7: Evaluation, Laziness
L8: Presentation of assignments F2 and N2,
FibMemoized.hs, MCS.hs.
L7.mp4, chat_L7.txt
L8.mp4, chat_L8.txt
Ch 12
5 4/5
L9: Parallel Computations, Concurrency
L10: Monadic computations, parsing,
song.c, obfuscated.hs
L9.mp4, chat_L9.txt
L10.mp4, chat_L10.txt

Ch 8
6 11/5
XL1: Reasoning about programs
XL2: A bit of theory (categories, λ-calculus)
XL1.mp4, chat_XL1.txt
XL2.mp4, chat_XL2.txt
Ch 13
EM @ FooCafé in Malmö
7 18/5
XL4: Reactive programming, Final QandA

XL4.mp4, chat_XL4.txt
  1/6 Exam