Skip to content
Snippets Groups Projects
Commit 49798a75 authored by aindreias's avatar aindreias
Browse files

Add the 5-th exercise session

parent 77095e91
No related branches found
No related tags found
No related merge requests found
...@@ -66,6 +66,7 @@ My goal is for lectures to be self-contained. The following books contain overla ...@@ -66,6 +66,7 @@ My goal is for lectures to be self-contained. The following books contain overla
| | Thu | 20.10.2022 | 08:15 | INM202 | Exercises | [Exercises on CYK Parsing](exercises/ex4/) | | | Thu | 20.10.2022 | 08:15 | INM202 | Exercises | [Exercises on CYK Parsing](exercises/ex4/) |
| 6 | Mon | 24.10.2022 | 13:15 | INM200 | Lecture 7 | [Name Analysis](https://tube.switch.ch/videos/a842b90d), [Inductive Relations](https://tube.switch.ch/videos/5d67c147), [Operational Semantics](https://tube.switch.ch/videos/465af7b1) | | 6 | Mon | 24.10.2022 | 13:15 | INM200 | Lecture 7 | [Name Analysis](https://tube.switch.ch/videos/a842b90d), [Inductive Relations](https://tube.switch.ch/videos/5d67c147), [Operational Semantics](https://tube.switch.ch/videos/465af7b1) |
| | Wed | 26.10.2022 | 08:15 | INM202 | Labs | [Parser Lab](labs/lab03/) | | | Wed | 26.10.2022 | 08:15 | INM202 | Labs | [Parser Lab](labs/lab03/) |
| | Thu | 27.10.2022 | 08:15 | INM202 | Exercises | [Exercises on Operational Semantics](exercises/ex5/) |
| 7 | Mon | 31.10.2022 | 13:15 | INM200 | Lecture 8 | [Type Rules, Progress, Preservation](https://tube.switch.ch/videos/bdb5c902), [Type Inference](https://tube.switch.ch/videos/14facfc5) | | 7 | Mon | 31.10.2022 | 13:15 | INM200 | Lecture 8 | [Type Rules, Progress, Preservation](https://tube.switch.ch/videos/bdb5c902), [Type Inference](https://tube.switch.ch/videos/14facfc5) |
| | Wed | 02.11.2022 | 08:15 | INM202 | Labs | Type Checking Lab | | | Wed | 02.11.2022 | 08:15 | INM202 | Labs | Type Checking Lab |
| 8 | Mon | 07.11.2022 | 13:15 | INM200 | Lecture 9 | Finish [Type Inference](https://tube.switch.ch/videos/14facfc5) and start code generation | | 8 | Mon | 07.11.2022 | 13:15 | INM200 | Lecture 9 | Finish [Type Inference](https://tube.switch.ch/videos/14facfc5) and start code generation |
......
File added
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment