Algebraic data type

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

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (30)

Introduction to Programming with Python

Introduces Python programming basics, covering data types, operators, variables, functions, and code tracing.

Programming Basics: Python Fundamentals

Covers the basics of programming with Python, emphasizing practical exercises and self-learning resources.

Programming Fundamentals: Recap and Modular Approach

Covers fundamental programming concepts and highlights the importance of modular code design.

Green Bonds: Sustainable Investment and Impact

Delves into the world of green bonds, exploring their history, rapid rise, certification process, and challenges in evaluating their environmental and financial performance.

Introduction to UNIX and C Programming Concepts

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

Python Programming: Dictionaries and Classes

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

Binary Numbers and Bit Fields

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

Coq Workshop: Introduction to Interactive Theorem Proving

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

Type Aliases: Enhancing Readability and Flexibility

Explores the use of type aliases to enhance code readability and flexibility through clear and systematic type definitions.

Introduction to C Programming

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

Page 2 of 2