|
@@ -47,10 +47,8 @@ Autumn, 2020. Bk, NY.
|
|
|
[mit lecture 6B](https://youtu.be/qp05AtXbOP0)
|
|
|
|
|
|
|
|
|
-# ** winter break **
|
|
|
-
|
|
|
# Part 4: Metalinguistic Abstraction
|
|
|
-## Section 4.1 ~~~~ - ~~~~ The Metacircular Evaluator
|
|
|
+## Section 4.1 ~~~~ Dec 20 - Dec 26 ~~~~ The Metacircular Evaluator
|
|
|
[mit lecture 7A](https://youtu.be/aAlR3cezPJg)
|
|
|
|
|
|
[mit lecture 7B](https://youtu.be/QVEOq5k6Xi0)
|
|
@@ -59,25 +57,31 @@ Autumn, 2020. Bk, NY.
|
|
|
|
|
|
## Section 4.3 ~~~~ - ~~~~ Variations on a Scheme--Nondeterministic Computing
|
|
|
|
|
|
-## Section 4.4 ~~~~ - ~~~~ Logic Programming
|
|
|
+
|
|
|
+
|
|
|
+# ** winter break **
|
|
|
+
|
|
|
+
|
|
|
+
|
|
|
+## Section 4.4 ~~~~ Jan 3 - Jan 16 ~~~~ Logic Programming
|
|
|
[mit lecture 8A](https://youtu.be/rCqMiPk1BJE)
|
|
|
|
|
|
[mit lecture 8B](https://youtu.be/GReBwkGFZcs)
|
|
|
|
|
|
|
|
|
# Part 5: Computing with Register Machines
|
|
|
-## Section 5.1 ~~~~ - ~~~~ Designing Register Machines
|
|
|
+## Section 5.1 ~~~~ Jan 17 - Jan 23 ~~~~ Designing Register Machines
|
|
|
[mit lecture 9A](https://youtu.be/cIc8ZBMcqAc)
|
|
|
|
|
|
-## Section 5.2 ~~~~ - ~~~~ A Register-Machine Simulator
|
|
|
+## Section 5.2 ~~~~ Jan 17 - Jan 23 ~~~~ A Register-Machine Simulator
|
|
|
|
|
|
-## Section 5.3 ~~~~ - ~~~~ Storage Allocation and Garbage Collection
|
|
|
+## Section 5.3 ~~~~ Feb 7 - Feb 13 ~~~~ Storage Allocation and Garbage Collection
|
|
|
[mit lecture 10B](https://youtu.be/AbK4bZhUk48)
|
|
|
|
|
|
-## Section 5.4 ~~~~ - ~~~~ The Explicit-Control Evaluator
|
|
|
+## Section 5.4 ~~~~ Jan 24 - Jan 30 ~~~~ The Explicit-Control Evaluator
|
|
|
[mit lecture 9B](https://youtu.be/Z8-qWEEwTCk)
|
|
|
|
|
|
-## Section 5.5 ~~~~ - ~~~~ Compilation
|
|
|
+## Section 5.5 ~~~~ Jan 31 - Feb 6 ~~~~ Compilation
|
|
|
[mit lecture 10A](https://youtu.be/TqO6V3qR9Ws)
|
|
|
|
|
|
|