|
|
@@ -43,38 +43,41 @@ Autumn, 2020. Bk, NY.
|
|
|
|
|
|
## Section 3.5 ~~~~ Dec 20 - Dec 26 ~~~~ Streams
|
|
|
[mit lecture 6A](https://youtu.be/JkGKLILLy0I)
|
|
|
+
|
|
|
[mit lecture 6B](https://youtu.be/qp05AtXbOP0)
|
|
|
|
|
|
|
|
|
-** winter break **
|
|
|
+# ** winter break **
|
|
|
|
|
|
# Part 4: Metalinguistic Abstraction
|
|
|
-## Section 4.1 ~~~ - ~~~ The Metacircular Evaluator
|
|
|
+## Section 4.1 ~~~~ - ~~~~ The Metacircular Evaluator
|
|
|
[mit lecture 7A](https://youtu.be/aAlR3cezPJg)
|
|
|
+
|
|
|
[mit lecture 7B](https://youtu.be/QVEOq5k6Xi0)
|
|
|
|
|
|
-## Section 4.2 ~~~ - ~~~ Variations on a Scheme--Lazy Evaluation
|
|
|
+## Section 4.2 ~~~~ - ~~~~ Variations on a Scheme--Lazy Evaluation
|
|
|
|
|
|
-## Section 4.3 ~~~ - ~~~ Variations on a Scheme--Nondeterministic Computing
|
|
|
+## Section 4.3 ~~~~ - ~~~~ Variations on a Scheme--Nondeterministic Computing
|
|
|
|
|
|
-## Section 4.4 ~~~ - ~~~ Logic Programming
|
|
|
+## Section 4.4 ~~~~ - ~~~~ 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 ~~~~ - ~~~~ Designing Register Machines
|
|
|
[mit lecture 9A](https://youtu.be/cIc8ZBMcqAc)
|
|
|
|
|
|
-## Section 5.2 ~~~ - ~~~ A Register-Machine Simulator
|
|
|
+## Section 5.2 ~~~~ - ~~~~ A Register-Machine Simulator
|
|
|
|
|
|
-## Section 5.3 ~~~ - ~~~ Storage Allocation and Garbage Collection
|
|
|
+## Section 5.3 ~~~~ - ~~~~ Storage Allocation and Garbage Collection
|
|
|
[mit lecture 10B](https://youtu.be/AbK4bZhUk48)
|
|
|
|
|
|
-## Section 5.4 ~~~ - ~~~ The Explicit-Control Evaluator
|
|
|
+## Section 5.4 ~~~~ - ~~~~ The Explicit-Control Evaluator
|
|
|
[mit lecture 9B](https://youtu.be/Z8-qWEEwTCk)
|
|
|
|
|
|
-## Section 5.5 ~~~ - ~~~ Compilation
|
|
|
+## Section 5.5 ~~~~ - ~~~~ Compilation
|
|
|
[mit lecture 10A](https://youtu.be/TqO6V3qR9Ws)
|
|
|
|
|
|
|
