Let Definitions Ocaml Programming Chapter

Using `

Achieving polymorphism for `

Defining the small-step semantics of `

How to

Several reasons why you should learn functional

let

What is functional

Giving functions names with `

Defining module types with signatures Textbook: https://cs3110.github.io/textbook.

Structural induction can be used to prove the correctness of functions on lists Textbook: https://cs3110.github.io/textbook.

Applying functions to arguments. Textbook: https://cs3110.github.io/textbook.

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

Examples of variants, which along with records are the primary kind of user-

How to

Small- and big-step evaluation relations are themselves related: the big-step is an abstraction of the small-step Textbook: ...

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

Learn to

In this talk, we present our work on a syntax

The syntax and semantics of module types, especially as used in module type annotations: signatures must match, and ...