This repo contains typescript adaptation of Lectures of course offered by Prof. Daniel Friedman
| Lectures | Concepts Covered |
|---|---|
| Lecture 1 | Natural recursion |
| Lecture 2 | Natural recursion extn, Ackermann function |
| Lecture 3 | Lambda calculus |
| Lecture 4 | Playing with Lambda expressions |
| Lecture 5 | Interpreter |
| Lecture 6 | Intro to representation independance |
| Lecture 7 | RI with respect to closures |
| Lecture 8 | More Interpreters |
| Lecture 9 | Continuation passing style |
| Lecture 10 | Eta reduction and more CPS |
| Lecture 11 | CPS and RI with Continuations |
| Lecture 12 | A-Normal Form & Registerization |
| Lecture 13 | Trampoline |
| Lecture 14 | ParentheC - TODO |
| Lecture 15 | Unify, substitution |