scrambled
scrambled
Concept

Name combination algebra

Modified just now
Books JourneyProgramming Language Theory Statusreviewing Tags
  • other mathematics
  • semantics
  • type theory

The set of rules governing how names interact when combining program fragments, addressing whether bindings Shadowing, conflict, or merge (central to understanding Substitution, Scope, and module composition).

The set of rules governing how names interact when combining program fragments, addressing whether bindings shadow, conflict, or merge (central to understanding substitution, scope, and module composition).