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

Concept

Strong and weak typing

Related lectures (31)

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.

Python Basics: Syntax, Variables, Functions Log in to Mediaspace to watch this video

Covers Python basics such as syntax, variables, and functions, introducing the Renku platform for collaborative data science.

Introduction to Programming: First Steps Log in to Mediaspace to watch this video

Covers the basics of programming, including the development cycle of a program, strong typing, data storage in Java variables, and primitive data types.

Implicit Conversion: Core Concepts Log in to Mediaspace to watch this video

Covers the core concepts of implicit conversion in Scala and its implementation in Scala code.

Java Programming Basics Log in to Mediaspace to watch this video

Covers the basics of Java programming, including variables, expressions, operators, and the concept of strong typing.

Designing Calculi: Strong Normalization and Error Handling Log in to Mediaspace to watch this video

Covers strong normalization, error handling, and typing rules for Calculi design.

Introduction to Programming: Basics and Java Development Log in to Mediaspace to watch this video

Covers the basics of programming, Java development, algorithms, data structures, and the compilation process.

Green Bonds: Sustainable Investment and Impact Log in to Mediaspace to watch this video

Delves into the world of green bonds, exploring their history, rapid rise, certification process, and challenges in evaluating their environmental and financial performance.

Tuples: Desugaring and Implementation Log in to Mediaspace to watch this video

Covers the implementation details of tuples in Scala, including desugaring, lexical analysis, parsing, and code generation.

Untitled Log in to Mediaspace to watch this video

Multithreading: Code Generation and Type Checking Log in to Mediaspace to watch this video

Covers multithreading, code generation, and type checking in compiler implementation.