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

Concept

Type system

Related lectures (32)

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Polymorphism in Object-Oriented Programming: Inclusion Mechanism

Covers polymorphism in object-oriented programming, focusing on inclusion polymorphism and its implementation through class hierarchies and virtual methods.

Designing Learning Experiences: CS411 Class Project

Introduces the CS411 Class Project, where students design and test a lesson using learning theories.

Lambda Calculus and Type Safety: An Overview Log in to Mediaspace to watch this video

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Separation is all you need: Foundations for Modular Verification Log in to Mediaspace to watch this video

Explores the foundations of modular verification using Separation Logic for realistic concurrent programs and discusses the challenges of shared mutable state in concurrency.

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

Explores designing formally correct intermittent systems for extreme edge computing platforms, emphasizing correctness, reliability, and security.

Advanced Types in C: Enums, Typedefs, and Structs Log in to Mediaspace to watch this video

Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.

VHDL for Synthesis Log in to Mediaspace to watch this video

Covers basic VHDL constructs for RTL design, including arithmetic, multiplexers, registers, and instantiation.

Fracture Mechanics: Crack Growth and Weakest Link Log in to Mediaspace to watch this video

Explores fracture mechanics, crack growth, and the weakest link theory, emphasizing the statistical distribution of crack sizes and the significance of the largest crack in material failure.

Weibull Model: Random Data Log in to Mediaspace to watch this video

Explores the Weibull model's application to random data and its significance in analyzing material strength and failure probability.

Fracture Mechanics: Energy Analysis Log in to Mediaspace to watch this video

Explores energy analysis in fracture mechanics, emphasizing unstable crack growth and the importance of compliance in structural behavior.

Fracture Analysis: Energy and Mechanics Log in to Mediaspace to watch this video

Explores macroscopic energy analysis of fracture, focusing on unstable crack growth and energy mechanics.