Higher-Order Functions

Related lectures (32)

Explores proving transitivity in algorithmic subtyping through induction and subtype relationships.

Covers the concept of anonymous functions in MATLAB and Octave.

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

Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.

Explores memory management, safety, automated techniques, garbage collection, dynamic dispatch, and first-class functions.

Explains the three facets of a function and its components in C++.

Explores variable capture in higher-order functions and the importance of variable renaming.

Explores higher-order functions, environments, evaluation using substitution, and examples like twice factorial.

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Covers mathematical functions, including logarithmic, exponential, and trigonometric functions, as well as limits and function types.

Covers the concept of functions at the programming level and their types.

Page 2 of 2