diff --git a/README.md b/README.md index 4b3642bfcb197d53c2df4a60a717dc33a5e8bd52..95d1704ed75fd834d1a39c33b3d698a4de01de17 100644 --- a/README.md +++ b/README.md @@ -32,14 +32,14 @@ The grade is based on a midterm (30%) as well as team project work (70%). Please | | ..3... | Fri | 21.03.2025 | 13:15 | ELA 2 | Lecture 7 | [Type Checking](https://mediaspace.epfl.ch/media/07-03%2C+Type+Rules%2C+Progress%2C+Preservation/0_znlmwvlt) [(PDF)](info/lectures/lec07-soundness.pdf), [Type Inference](https://mediaspace.epfl.ch/media/08-01%2C+Type+Inference/0_txnn92oh) [(PDF)](info/lectures/lec07-inference.pdf) | | | ..34.. | Fri | 21.03.2025 | 15:15 | ELA 2 | Lab 4 | [Typer lab](info/labs/lab04/) release | | 6 | ..34.. | Wed | 26.03.2025 | 13:15 | BC 01 | Exercises 4 | [Operational Semantics and Type Checking](info/exercises/ex-04.pdf) [(solutions)](info/exercises/ex-04-sol.pdf) | -| | ..34.. | Fri | 28.03.2025 | 13:15 | ELA 2 | Lecture 8 | Type Inference. Code generation | -| | ..34.. | Fri | 28.03.2025 | 15:15 | ELA 2 | Lab 4 | [Typer lab](info/labs/lab04/) | ## Schedule and Materials - Current | Week | Labs | Day | Date | Time | Room | Topic | Materials | | :-- | :-- | :-- | :-- | :-- | :-- | :-- | :-- | | | | | | | | | +| | ..34.. | Fri | 28.03.2025 | 13:15 | ELA 2 | Lecture 8 | Finish [Type Inference](https://mediaspace.epfl.ch/media/08-01%2C+Type+Inference/0_txnn92oh) [(PDF)](info/lectures/lec07-inference.pdf). Start [Code generation: Examples and Web Assembly](https://mediaspace.epfl.ch/media/09-01%2C+Code+GenerationA+Examples%2C+WebAssembly/0_xowt7e6w) [(PDF)](info/lectures/lec08-codegen.pdf) | +| | ..34.. | Fri | 28.03.2025 | 15:15 | ELA 2 | Lab 4 | [Typer lab](info/labs/lab04/) | | 7 | ...4.. | Wed | 02.04.2025 | 13:15 | BC 01 | Exercise 5 | Type checking and more | | | ...4.. | Fri | 04.04.2025 | 13:15 | ELA+CM | **EXAM** | | | | ...4.. | Fri | 04.04.2025 | 15:15 | ELA+CM | **EXAM** | | diff --git a/info/lectures/lec08-codegen.pdf b/info/lectures/lec08-codegen.pdf new file mode 100644 index 0000000000000000000000000000000000000000..97b39570b1b7281aa71d4c430f2aba669ba4333a Binary files /dev/null and b/info/lectures/lec08-codegen.pdf differ