Index of concepts for Week 04

• the ASCII character-encoding standard
• body (of a let-expression)
• boolean (conjunction, testing)
• boolean (disjunction, testing)
• boolean (exclusive disjunction, testing)
• boolean (negated conjunction, testing)
• boolean (negated disjunction, testing)
• curry
• curry (un)
• definiens (in a local let-expression)
• digital signature (composing a)
• effect (computational)
• effect (side)
• equivalence (observational, first shot)
• inferring (a polymorphic expression)
• let expressions as the source of polymorphism in OCaml
• modus ponens (computational content of the)
• OCaml (aliasing formal parameters)
• OCaml (assertions)
• OCaml (formals)
• OCaml (global let-expression declaring several names)
• OCaml keywords (... as ...)
• OCaml keywords (assert ...)
• OCaml keywords (let ... = ... and ... and ... = ...)
• OCaml keywords (let ... = ... in ...)
• OCaml keywords (let ... = ... and ... and ... = ... in ...)
• OCaml (local let-expression declaring one name)
• OCaml (local let-expression declaring several names)
• Peirce’s arrow
• polymorphism
• polymorphism (first encounter)
• polynomials
• polynomials (in Horner form)
• projections (for pairs)
• projections (for quadruples)
• projections (for triples)
• scope (lexical)
• scope (shadowed bindings in lexical)
• Sheffer stroke (the)
• String. (make)
• the proof is trivial (grammar)
• type (inference)
• types (monomorphic)
• type (checking)
• type (checking, a concrete example)
• types (polymorphic)
• type variables
• unused variables

Version

Added an entry for the ASCII character-encoding standard [10 Feb 2023]

Moved the entries OCaml (global let-expression declaring several names) and OCaml keywords (let ... = ... and ... and ... = ...) from Week 03 to Week 04 [01 Feb 2023]

Created [03 Sep 2022]