lunduniversity.lu.se

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 or after 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.

WeekLecturesJacek's 2020 videos
1 18/3
19/3
20/3
L1: Introduction, code
L1.5: FP for Object Oriented
L2: Language overview, code
L1_1.mp4, L1_2.mp4
L1.5.mp4
L2.mp4
2 25/3
27/3
L3: The standard prelude
Types, typeclasses and data structures(SKL, 2024),
Types, type classes, data structures (JM, 2023), code
L3.mp4

L4.mp4
3 15/4
17/4
L5: Presentation of assignment 1,
L6: Functors, Monads, code
L5.mp4
L6.mp4
4 24/4 L7: Parallel Computations, ConcurrencyL7.mp4
5 29/4 L8: Evaluation, Presentation of assignments F2 and N2,
FibMemoized.hs, MCS.hs.
L8.mp4
A2.mp4
6 6/5
8/5
L9: Monadic computations, parsing, A3N, song.c, obfuscated.hs
L10: ???
L9.mp4
7 13/5
15/5
XL1: Reasoning about programs
XL2: A bit of theory (categories, λ-calculus)
XL1.mp4
XL2.mp4

EM @ FooCafé in Malmö
7 20/5
22/5
XL3: Functional reactive programming,
XL4: Final QandA
XL3.mp4
  30/5 Exam