Skip to main content
Graph
Search
fr
|
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Category
Programming language theory
Formal sciences
Theoretical computer science
Programming language theory
Related lectures (31)
Graph Chatbot
Previous
Page 2 of 4
Next
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Functions: Reusability and Error Reduction
Covers functions in C programming, emphasizing reusability and error reduction through proper function structure.
Pointers: Strings, Functions, Casting
Covers pointers to strings, functions, and casting in C programming.
Pointers and Functions: Understanding Type Reading
Covers type reading in C, focusing on pointers, functions, and the use of typedefs for clarity.
Arrays in C: Advanced Data Types
Discusses advanced data types in C, focusing on arrays and their characteristics.
Coq Workshop: Introduction to Interactive Theorem Proving
Introduces Coq, an interactive theorem assistant based on the Curry-Howard isomorphism.
Introduction to C Programming: Basics and Compilation
Covers the basics of C programming, including syntax, structure, and compilation processes.
Stainless Verification System Tutorial
Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.
C Programming Concepts: Debugging and Memory Management
Covers essential C programming concepts, including memory management, debugging techniques, and practical applications in programming projects.
Advanced Types in C: Enums, Typedefs, and Structs
Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.