Tag: semantics

All the articles with the tag "semantics".

• LETSEQ: Sequential Binding Semantics for let Expressions

  10 Sep, 2026

  LETSEQ gives multiple-binding let expressions sequential binding semantics: bindings are evaluated in source order, with each new binding becoming available to the ones that follow it.

• LETPAR: Parallel Binding Semantics for let Expressions

  9 Sep, 2026

  LETPAR gives multiple-binding let expressions parallel binding semantics: every initializer is evaluated in the incoming environment, so sibling bindings cannot see one another.

• Multiple-Binding let Expressions - Syntax Before Semantics

  8 Sep, 2026

  Extend LET so a single let expression can contain multiple bindings, updating the grammar, AST, and parser before deciding what those bindings mean.