Skip to content
scrambled
Programming Language Theory Concept

Unfold

Books JourneyProgramming Language Theory Statusreviewing Tags
  • language feature design
  • semantics
  • syntax grammar

A reduction step that replaces a defined name with its definition body, expanding abbreviations to expose underlying structure.

A reduction step that replaces a defined name with its definition body, expanding abbreviations to expose underlying structure.