Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Substructural type system

Related lectures (25)

Language Theory into Practice Log in to Mediaspace to watch this video

Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.

Polymorphism in Coq: Data Structures and Functions Log in to Mediaspace to watch this video

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Formally Correct Intermittent Systems Log in to Mediaspace to watch this video

Focuses on designing formally correct intermittent systems in batteryless systems powered intermittently, addressing challenges and strategies for ensuring correctness.

Simply Typed Lambda Calculus: Foundations and Properties Log in to Mediaspace to watch this video

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

Pointers: Strings, Functions, Casting Log in to Mediaspace to watch this video

Covers pointers to strings, functions, and casting in C programming.