To add your notes, simply drop a link here. For binary files like PDFs, upload to the wiki or the issues.
- ./week01-02-semantics-types
- The syntax: language.pdf
- The operational semantics: language.pdf
- The type system: simply-typed.pdf
- Using small-step reduction semantics (2)
- Type soundness (1): soundness.pdf
- Type soundness (2): a few syntactic properties of the type system property.pdf
- Using small-step reduction semantics (1)
- Typed evaluation contexts: context.pdf
- A few syntactic properties of the type system property.pdf
- Mutable references, store typing and type soundness: store.pdf