[AAA551] Update lec3

Author: jhnaldo

_data/course/aaa551/2026_1.yml

@@ -31,7 +31,7 @@ parts:
       handout: slides/lec3-handout.pdf
     - index: 4
       date: 03/17
-      title: Lambda Calculus and CEK Machine
+      title: Evaluation Context and Lambda Calculus
       # pdf: slides/lec4.pdf
       # handout: slides/lec4-handout.pdf
     - index: 5
@@ -41,42 +41,46 @@ parts:
       # handout: slides/lec5-handout.pdf
     - index: 6
       date: 03/24
-      title: Orderings, Lattices, and Fixpoints
+      title: Fixed-Point Theory
       # pdf: slides/lec6.pdf
       # handout: slides/lec6-handout.pdf
     - index: 7
       date: 03/26
-      title: Definitional Translation
+      title: Abstract Machines
       # pdf: slides/lec7.pdf
       # handout: slides/lec7-handout.pdf
     - index: 8
       date: 03/31
-      title: Continuation-Passing Style
+      title: Trace Semantics
       # pdf: slides/lec8.pdf
       # handout: slides/lec8-handout.pdf
     - index: 9
       date: 04/02
-      title: Link Operational and Denotational Semantics
+      title: Trace Properties
       # pdf: slides/lec9.pdf
       # handout: slides/lec9-handout.pdf
     - index: 10
       date: 04/07
-      title: Axiomatic Semantics
+      title: Link Operational and Denotational Semantics
       # pdf: slides/lec10.pdf
       # handout: slides/lec10-handout.pdf
+      homework:
+      - name: hw01
+        # link: todo
+        date: 04/21
     - index: 11
       date: 04/09
-      title: Systematic Program Proofs
+      title: Axiomatic Semantics
       # pdf: slides/lec11.pdf
       # handout: slides/lec11-handout.pdf
     - index: 12
       date: 04/14
-      title: Separation Logic (1)
+      title: Systematic Program Proofs
       # pdf: slides/lec12.pdf
       # handout: slides/lec12-handout.pdf
     - index: 13
       date: 04/16
-      title: Separation Logic (2)
+      title: Separation Logic
       # pdf: slides/lec13.pdf
       # handout: slides/lec13-handout.pdf
 
@@ -94,52 +98,56 @@ parts:
       # handout: slides/lec15-handout.pdf
     - index: 16
       date: 05/05
-      title: Universal Types
+      title: Type Extensions
       # pdf: slides/lec16.pdf
       # handout: slides/lec16-handout.pdf
     - index: 17
       date: 05/07
-      title: Substructural Types
+      title: Universal Types
       # pdf: slides/lec17.pdf
       # handout: slides/lec17-handout.pdf
     - index: 18
       date: 05/12
-      title: Effect Types
+      title: Existential Types
       # pdf: slides/lec18.pdf
       # handout: slides/lec18-handout.pdf
     - index: 19
       date: 05/14
-      title: Trace Semantics
+      title: Substructural Types
       # pdf: slides/lec19.pdf
       # handout: slides/lec19-handout.pdf
     - index: 20
       date: 05/19
-      title: Trace Properties
+      title: Effect Types
       # pdf: slides/lec20.pdf
       # handout: slides/lec20-handout.pdf
     - index: 21
       date: 05/21
-      title: Abstract Interpretation
+      title: Abstract Interpretation (1)
       # pdf: slides/lec21.pdf
       # handout: slides/lec21-handout.pdf
     - index: 22
       date: 05/26
-      title: Flow-Sensitive Type Analysis
+      title: Abstract Interpretation (2)
       # pdf: slides/lec22.pdf
       # handout: slides/lec22-handout.pdf
     - index: 23
       date: 05/28
-      title: Context-Sensitive Type Analysis
+      title: Flow-Sensitive Type Analysis
       # pdf: slides/lec23.pdf
       # handout: slides/lec23-handout.pdf
+      homework:
+      - name: hw02
+        # link: todo
+        date: 06/11
     - index: 24
       date: 06/02
-      title: Curry–Howard Isomorphism
+      title: Context-Sensitive Type Analysis
       # pdf: slides/lec24.pdf
       # handout: slides/lec24-handout.pdf
     - index: 25
       date: 06/04
-      title: Existential Types
+      title: Curry–Howard Isomorphism
       # pdf: slides/lec25.pdf
       # handout: slides/lec25-handout.pdf
     - index: 26