Skip to content
scrambled
Programming Language Theory Concept

Structural recursion

Books JourneyProgramming Language Theory Statusreviewing Tags
  • data structure algorithm
  • language feature design
  • programming paradigm

A recursion scheme that decomposes data along its Constructors, guaranteeing termination by recursing only on structurally smaller subterms.

A recursion scheme that decomposes data along its constructors, guaranteeing termination by recursing only on structurally smaller subterms.