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

Home

Lecture

Subtyping and Generics

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (52)

Verifying Compiler: Spec# Approach

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Subtyping and Generics: Variance and Covariance Log in to Mediaspace to watch this video

Explores subtyping, generics, variance, and covariance in Scala, along with collections, arrays, and combinatorial search.

Advanced Types in Java Programming Log in to Mediaspace to watch this video

Explores advanced Java programming concepts such as arrays, strings, and Unicode characters.

Java Programming: Strings and Arrays Log in to Mediaspace to watch this video

Covers fundamental programming and object-oriented programming concepts in Java, including variables, types, control structures, and basic algorithmic concepts.

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.

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.

Subtyping and Generics in Scala Log in to Mediaspace to watch this video

Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.

Polymorphism and Type Testing Log in to Mediaspace to watch this video

Explores object-oriented programming concepts, polymorphism, inheritance, and dynamic binding in Java, emphasizing the importance of correct object comparison.

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.

Method Dispatch Optimization Log in to Mediaspace to watch this video

Explores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.

Financial Applications of Blockchains Log in to Mediaspace to watch this video

Explores the financial applications of blockchains, including DeFi, lending protocols, DAOs, flash loans, and token-based insurance solutions.

Control Structures in Java Log in to Mediaspace to watch this video

Covers control structures in Java, including logical operators, scope, branching, loops, and iterations.

Random Variables and Covariance Log in to Mediaspace to watch this video

Covers random variables, variances, and covariance, as well as the probability in random graphs.

Transformation of Random Variables Log in to Mediaspace to watch this video

Explores the transformation of random variables, joint moments, covariance, and variance.

Advanced C Data Types Log in to Mediaspace to watch this video

Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.

C++ Programming: Structures and Typedef Log in to Mediaspace to watch this video

Covers the fundamental concepts of C++ programming, focusing on structures, typedef, and data processing.

Python Programming: Immutable and Mutable Objects Log in to Mediaspace to watch this video

Explains the differences between mutable and immutable objects in Python, focusing on lists, sets, and their behaviors.

Introduction to NumPy: Part 1 Log in to Mediaspace to watch this video

Covers the basics of NumPy, including array construction and manipulation.

Elements of Statistics: Probability, Distributions, and Estimation Log in to Mediaspace to watch this video

Covers probability theory, distributions, and estimation in statistics, emphasizing accuracy, precision, and resolution of measurements.

Total scattering and PDF analysis Log in to Mediaspace to watch this video

Explores total scattering and PDF analysis in materials science, covering in-situ synthesis, data analysis techniques, and applications in host-guest systems.

Page 2 of 3