Skip to content
scrambled
Programming Language Theory Concept

Name combination algebra

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).