Generalized algebraic data type

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Page 3 of 3

Language Theory into Practice

Explores the practical application of language theory, including quicksort, gradual typing, and efficient memory management, as well as the challenges of reduction program synthesis.

Python Programming: Dictionaries and Classes

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

Introduction to UNIX and C Programming Concepts

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

C Backend: Code Generation and ADTs

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

Binary Numbers and Bit Fields

Introduces binary numbers, modular arithmetic, signed numbers, and character encoding in C.

Introduction to MATLAB and GNU Octave

Introduces MATLAB and GNU Octave, covering basic concepts, workspace, data types, matrices, installation, and practical usage.

Foundations of Wireless Communication for IoT

Explores wireless communication technologies in IoT systems, including new standards like LoRa and SigFox.

C++ Standard Library: Containers and Algorithms

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

LabVIEW: Introduction and Basic Concepts

Covers the basics of LabVIEW, including control structures and data types.

Python Programming: Immutable and Mutable Objects

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