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

Home

Lecture

Type Inference

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (33)

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.

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.

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.

Kinematics: Deformation and Expansion Log in to Mediaspace to watch this video

Explores kinematics of deformation, focusing on radial and linear expansion, torsion, and rotation by an angle.

Service Design Basics Log in to Mediaspace to watch this video

Introduces the basics of service design, including key models and processes, problem framing, co-creation, and customer journey mapping.

Rigorous Bounds: Isotropic Phases Log in to Mediaspace to watch this video

Explores rigorous upper and lower bounds for isotropic phase composites and their microstructure arrangement, focusing on laminated plates and stress-strain relationships.

Homogenization Theory: Isotropic Phases and Laminated Plates Log in to Mediaspace to watch this video

Explores the rigorous bounds on effective properties of isotropic phases and laminated plates.

Quantum Chemistry Log in to Mediaspace to watch this video

Covers eigenvalues, eigenfunctions, Hermitian operators, and the measurement of observables in quantum chemistry.

Displacement Field by Point Forces Log in to Mediaspace to watch this video

Explores solving displacement field by point forces using Green's functions and integration process to obtain total solution.

Solid Mechanics Principles: Greens Functions Log in to Mediaspace to watch this video

Explores Greens functions in solid mechanics, emphasizing the solution of point forces and their impact on displacement fields.

Block Pulled by a Spring Log in to Mediaspace to watch this video

Explores the dynamics of a block pulled by a spring under various conditions.

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.

Page 2 of 2