Eval

Related lectures (11)

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

Covers the definition of an inductive data type in Coq and how to build proofs interactively using tactics.

Covers functional decomposition with pattern matching in Scala to access heterogeneous data in a class hierarchy.

Covers the stochastic endowment consumption model, log-linear transformation, impulse response solution, and Matlab codes.

Explains the three main aspects of a function and its evaluation process.

Covers primitive expressions, evaluation processes, function applications, types, and evaluation strategies in programming.

Explores the impact of productivity shocks and government policies on key economic variables.

Explores the search for solutions in nonlinear systems through various methods and techniques.

Covers the definition of a simple programming language and its big-step semantics, including arithmetic expressions and imperative commands.

Analyzes monetary and fiscal policy responses to public debt accumulation and the impact of Covid-19 on global economies.

Explores the correctness of compilers, emphasizing expression evaluation, bytecode compilation, and stack operations.

Page 1 of 1