Programming language theory

Related lectures (31)

Page 2 of 4

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

Covers functions in C programming, emphasizing reusability and error reduction through proper function structure.

Covers pointers to strings, functions, and casting in C programming.

Covers type reading in C, focusing on pointers, functions, and the use of typedefs for clarity.

Discusses advanced data types in C, focusing on arrays and their characteristics.

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

Covers the basics of C programming, including syntax, structure, and compilation processes.

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

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

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