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

Concept

Type inference

Related lectures (32)

Type Inference

Explores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.

Designing Learning Experiences: CS411 Class Project

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

Type Inference: Hindley-Milner Overview

Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.

Loops: Implementing a Repeat Loop

Presents an exercise solution example on implementing a repeat loop in Scala.

Collision Kinetics: Theory and Applications

Covers the theory and applications of collision kinetics in understanding molecular interactions.

Implicit Function Types

Explores implicit function types and their application in a conference management system, discussing the trade-off between types and terms in implicit parameters.

Matrix to Density Operator

Explains the transformation from a matrix to the density operator in quantum physics.

Chain Polymerisation: Mechanism and Kinetics

Explores the mechanism and kinetics of chain polymerisation, focusing on inhibitors and competitive inhibition in enzyme reactions.

Inclusion of Fermented Foods in Food Guides

Discusses the inclusion of fermented foods in global food guides, exploring their benefits and risks, enzyme kinetics, and the history of food enzymes.

Density Operator: Matrix to the System State

Explores density operator matrix transformation in quantum physics and the implications of measuring the system, leading to state collapse.

Heat Pump Tutorial

Explains the steps to define a heat pump and thermal streams.

Collision Flux Derivation

Explores collision flux derivation and Knudsen method for measuring vapor pressure.

Food Biotechnology: Innovations and Impact on Health

Delves into the innovations in food biotechnology, including synbiotics supplements and probiotics in locally produced yoghurt, highlighting their economic and health benefits.

Fermented Foods: Microbial Transformations and Health Benefits

Explores the microbial transformations and health benefits of fermented foods, emphasizing their potential as delivery vehicles for probiotics to underserved communities.

Image Processing in Fiji

Covers the basics of image processing using Fiji software, focusing on managing files and applying filters.

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.

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.