Lectures related to Reactive Programming: Fundamentals and Applications

Covers the architecture of virtual machines, focusing on memory management, control flow, and the CEK machine's semantics.

Covers code injection and control-flow hijack attacks, and defenses like Data Execution Prevention and Stack Canaries.

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

Explores lambda calculus, higher-order functions, and recursive function encoding.

Introduces the basics of proof scripting in Coq, focusing on the Ltac language and its tactics for managing proofs effectively.

Introduces terms, abstractions, applications, and values in the lambda calculus.