Concept

Abstract data type

Related lectures (30)

C Backend: Compiler Structure and Abstract Data Types

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

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.

Inheritance: Polymorphism & Casting

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

C Backend: Code Generation and ADTs

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

Data Visualization: Techniques and Examples

Explores data visualization techniques using sports, historical events, and literature examples.

Abstract Data Structures and Standard Libraries

Covers abstract data structures and the C++ standard library, including linked lists, stacks, queues, and complex numbers.

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.

Data Management: Overview

Introduces fundamental concepts of data management, including data models, databases, and key tasks.

Class Hierarchies

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

Python Programming: Dictionaries and Classes

Introduces Python programming concepts, focusing on dictionaries and classes, including their definitions, usage, and practical examples.

Programming Basics: Dictionaries and Classes

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