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

Concept

Abstract data type

Related lectures (30)

Model Representation: Structures and Functions

Covers the representation of mathematical models, functions, and data structures in information systems.

Abstract Data Structures in C++

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Protocols in Akka Typed

Explores protocols in Akka Typed, typing actors to restrict message types and modeling protocols with algebraic data types.

C++ Standard Library: Containers and Algorithms

Covers the basics of C++ standard library containers, algorithms, and iterators.

Python/NumPy Primer

Introduces Python basics and NumPy for scientific computing, covering data types, functions, arrays, indexing, and common operations.

Abstract Interpretation in Stainless

Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.

Object-Oriented Programming Fundamentals

Covers the basics of object-oriented programming in Python, including objects, classes, inheritance, and input/output handling.

Enums: Pure Data

Covers enums as a shorthand for case class hierarchies, focusing on modeling pure data.

Akka Typed Facilities

Covers Akka Typed Facilities for programming reactive systems, focusing on modeling protocols and implementing type-safe service discovery.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Class Hierarchies

Covers abstract classes, class extensions, object definitions, companion objects, and dynamic binding in Scala.

Programming Basics: Dictionaries and Classes

Introduces the basics of programming with a focus on dictionaries and classes in Python.

Introduction to UNIX and C Programming Concepts

Covers UNIX fundamentals and introduces C programming concepts, including variables, data types, and basic operations.

Object-Oriented Programming: Core Features Analysis

Explores the core features of object-oriented programming, including dynamic dispatch, encapsulation, inheritance, and subtyping, using Java examples and practical insights.

C++: struct and bitwise operators

Explores data transformation using typedef, struct, and bitwise operators in C++ to manipulate data at a bit level.

Amortized Conc-Tree Appends

Explores constant time appends in Conc-Trees and counting in a binary number system.

C Backend: Compiler Structure and Abstract Data Types Log in to Mediaspace to watch this video

Explores the structure of a C backend compiler and abstract data types.

Inheritance: Polymorphism & Casting Log in to Mediaspace to watch this video

Covers inheritance, polymorphism, and casting in object-oriented programming, emphasizing code factorization and generic object manipulation.

C Backend: Code Generation and ADTs Log in to Mediaspace to watch this video

Explores the adaptation of wasm code generation for C, memory management, ADTs representation, and translation of expressions.