To add your notes, simply drop a link here. For binary files like PDFs, upload to the wiki or the issues.

• Caspar's notes
  • 09-24-evaluation.md
  • 09-27-big-step.md

• ./week01-02-semantics-types
  • The syntax: language.pdf
  • The operational semantics: language.pdf
  • The type system: simply-typed.pdf

./week03-04-type-soundness

• 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

./week06-07-store

• Mutable references, store typing and type soundness: store.pdf