Evaluation Relations Ocaml Programming Chapter Net Worth 2026: Salary, Income & Wealth

Small- and big-step

HM type inference of `let` expressions led to type schemes, which enabled polymorphism. Add mutability, though, could lead to a ...

The basics of

A comparison of big-step vs. small-step semantics, and substitution model vs. environment model Textbook: ...

In a small-step semantics, an expression repeatedly takes a single step of

Comparing the difference between `open` and `include` in modules Textbook: https://cs3110.github.io/textbook.

Drilling down into the parts of a function specification: preconditions, postconditions, examples. Textbook: ...

The goal of testing is to expose the existence of faults. Automated unit and regression testing are especially important. Textbook: ...

How to define some common operators for function application, including the pipeline operator Textbook: ...

Application of functions to "too few" of arguments, and syntactic sugar. Textbook: https://cs3110.github.io/textbook.

Defining and implementing the big-step substitution-model semantics of a simple language Textbook: ...

Defining a small-step substitution-model semantics for a core fragment of

The other key piece of documentation an implementer needs to provide is the representation invariant, which clarifies which ...