Skip to content
scrambled
Programming Language Theory Concept

Higher-order contract

JourneyProgramming Language Theory Statuslearning Tags
  • language feature design
  • program analysis
  • runtime
  • semantics
  • type theory

Contracts on values that are themselves functions (or contain functions), presenting unique challenges because the contract cannot be fully checked immediately.

Contracts on values that are themselves functions (or contain functions), presenting unique challenges because the contract cannot be fully checked immediately.