Lectures related to Enums: Pure Data

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

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

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

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

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

Explores data types in C/Arduino microcontroller programming, covering boolean, byte, char, word, arrays, and memory allocation.

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

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

Covers essential C programming concepts, including memory management, debugging techniques, and practical applications in programming projects.

Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.

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

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

Covers the use of Stainless, a verification tool for Scala, to ensure the correctness of Scala code.

Explores class hierarchies, case classes, enums, pattern matching, and function values in Scala.

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

Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.

Covers the basics of C programming, including syntax, data types, pointers, arrays, and compilation commands.

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

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

Discusses image processing techniques, focusing on seam carving and pixel manipulation in Python programming.