Notes

1	Introduction
2	Interpreting with Scope and Substitution
3	The Lambda Calculus & Compilation
4	Compilation (cont’d) and formal reasoning
5	Formalism & Types
6	Properties of Types Systems
7	Parametric Polymorphism
8	How to Design Programming Languages
9	Bind and multistep-ing

9.3

Notes🔗

Please check out the notes in the sidebar