Programming language theory

Related lectures (31)

Page 1 of 4

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

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

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

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Explains the essential concepts of functions in C programming, including definitions, prototypes, and argument passing techniques.

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

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.